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