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