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