{"push_id":612219521,"size":1,"distinct_size":1,"ref":"refs/heads/patch-1","head":"7724e1768213210da0419c7c2cd166b8ab6b2ef5","before":"4426407bc682d3de9f401841637ce881b1ecdbbf","commits":[{"sha":"7724e1768213210da0419c7c2cd166b8ab6b2ef5","author":{"email":"3b95a54222d3b0d8e0c08f9a9846dc29b657b671@gmail.com","name":"Damien Doligez"},"message":"Fix error message in configure (in case of version mismatch)","distinct":true,"url":"https://api.github.com/repos/planar/camlp4/commits/7724e1768213210da0419c7c2cd166b8ab6b2ef5"}]}