{"push_id":975664121,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c1b6509e2958121ed787b6d98bf0ee8e98d68448","before":"942a4085d8b17b0be52d4e3c314fd6329a1aa8f5","commits":[{"sha":"c1b6509e2958121ed787b6d98bf0ee8e98d68448","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"A few clarifications in README","distinct":true,"url":"https://api.github.com/repos/ProofGeneral/PG/commits/c1b6509e2958121ed787b6d98bf0ee8e98d68448"}]}