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