{"push_id":644318986,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"36cf765673a4a75499409f1a6ecaaa66ae2b828e","before":"669be39ae3de0cf9ee0e39dc7eb536d51f42a23b","commits":[{"sha":"36cf765673a4a75499409f1a6ecaaa66ae2b828e","author":{"email":"e5c89c529dccb9b42716f4d9118d61079c883d9e@ben.ch","name":"Bench B. Bench"},"message":"Coq dev, repo unstable, mode clean.","distinct":true,"url":"https://api.github.com/repos/coq-bench/coq-bench.github.io/commits/36cf765673a4a75499409f1a6ecaaa66ae2b828e"}]}