{"push_id":601380031,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"67d56391927b9a64d30ffa192cb59c2420f1ce01","before":"e26caa3085f0b904efd966ede42cf2514cbef500","commits":[{"sha":"67d56391927b9a64d30ffa192cb59c2420f1ce01","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Cleaning","distinct":true,"url":"https://api.github.com/repos/clarus/coq-blog/commits/67d56391927b9a64d30ffa192cb59c2420f1ce01"}]}