{"push_id":1311646564,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"f62dfbe7698e2f475ec57aac4a6f08f7c95d924e","before":"ceb68d1d643ac65f500e0201f61e73cf22e6e2fb","commits":[{"sha":"f62dfbe7698e2f475ec57aac4a6f08f7c95d924e","author":{"name":"Théo Zimmermann","email":"0768558914eee2c232225fdb501625390b657fa3@free.fr"},"message":"Fix: use of + should not affect the failure level.","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/f62dfbe7698e2f475ec57aac4a6f08f7c95d924e"}]}
{"actor":{"display_login":"Zimmi48"}}