{"push_id":544420653,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e22a894304e98a8612c1bdc6f61769d407370d98","before":"d8902f3f01eaac7a5892ae4b327aa5543fee058a","commits":[{"sha":"e22a894304e98a8612c1bdc6f61769d407370d98","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"README.md updated","distinct":true,"url":"https://api.github.com/repos/clarus/coq-micro-blog/commits/e22a894304e98a8612c1bdc6f61769d407370d98"}]}