{"push_id":574054418,"size":1,"distinct_size":1,"ref":"refs/heads/coq8.5","head":"42a3e04d1d0227ef0db16cc3799a13d948708b3a","before":"683fd53ee9a444e4851f893b6244a269b87102e8","commits":[{"sha":"42a3e04d1d0227ef0db16cc3799a13d948708b3a","author":{"email":"317cc6a622447c352bdc0a64591bba5c52a0522a@inria.fr","name":"Jacques-Henri Jourdan"},"message":"Make the checker working on CompCert\n\nConflicts:\n\tMakefile","distinct":true,"url":"https://api.github.com/repos/jhjourdan/CompCert/commits/42a3e04d1d0227ef0db16cc3799a13d948708b3a"}]}