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