{"push_id":1428434088,"size":1,"distinct_size":1,"ref":"refs/heads/v8.6","head":"3642314974b3aca6eb522c37e7e4efd226e6ebc8","before":"a27ac0315dcbb99c64a260bac3988199a26b39cf","commits":[{"sha":"3642314974b3aca6eb522c37e7e4efd226e6ebc8","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"STM: cur_id must be invalid if an error occurs (fix #5191)\n\nLine erroneously removed in 17f3346c","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/3642314974b3aca6eb522c37e7e4efd226e6ebc8"}]}
{"actor":{"display_login":"coqbot"}}