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