{"push_id":1143232468,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"60130d2bff224b9e77c120f9e2330b2662d3a975","before":"9e8a0b81ebc2e59ab77e9b66525f3094936294bc","commits":[{"sha":"60130d2bff224b9e77c120f9e2330b2662d3a975","author":{"name":"Bench B. Bench","email":"40609b6994785b96b7f4c449038391a6036d7966@ben.ch"},"message":"Coq dev, repo released, mode clean.","distinct":true,"url":"https://api.github.com/repos/coq-bench/coq-bench.github.io/commits/60130d2bff224b9e77c120f9e2330b2662d3a975"}]}
{"actor":{"display_login":"coqbench"}}