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