{"push_id":790047773,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6ccae67fa137a7908fdcc0ded77a04c35362151e","before":"37629c029ad005df8bdd99374404b8ba620d81d7","commits":[{"sha":"6ccae67fa137a7908fdcc0ded77a04c35362151e","author":{"email":"e5c89c529dccb9b42716f4d9118d61079c883d9e@ben.ch","name":"Bench B. Bench"},"message":"Coq 8.4.6~camlp4, repo released, mode clean.","distinct":true,"url":"https://api.github.com/repos/coq-bench/coq-bench.github.io/commits/6ccae67fa137a7908fdcc0ded77a04c35362151e"}]}