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