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