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