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