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