{"push_id":658429356,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5064b6ea3ab32cb706e25f8e4daecc13d3c80062","before":"d1e51b5d2814a3c1361fa73ab457509d3d2bd844","commits":[{"sha":"5064b6ea3ab32cb706e25f8e4daecc13d3c80062","author":{"email":"e5c89c529dccb9b42716f4d9118d61079c883d9e@ben.ch","name":"Bench B. Bench"},"message":"Coq 8.4.5, repo stable, mode clean.","distinct":true,"url":"https://api.github.com/repos/coq-bench/coq-bench.github.io/commits/5064b6ea3ab32cb706e25f8e4daecc13d3c80062"}]}