{"push_id":1990861585,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e8f09b2367c86849b9adb47145702a12d24961f8","before":"829254268c084f93c3b503e36cb72a4d907ace6a","commits":[{"sha":"e8f09b2367c86849b9adb47145702a12d24961f8","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/e8f09b2367c86849b9adb47145702a12d24961f8"}]}
{"actor":{"display_login":"coqbench"}}