{"push_id":849437588,"size":2,"distinct_size":2,"ref":"refs/heads/v8.5","head":"6e376c8097d75b6e63a7e52332a721f7928992e9","before":"b49c80406f518d273056b2143f55e23deeea2813","commits":[{"sha":"559c0a4a40410745f73822e893b3d1581056ea7a","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"STM: never reopen a branch containing side effects","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/559c0a4a40410745f73822e893b3d1581056ea7a"},{"sha":"6e376c8097d75b6e63a7e52332a721f7928992e9","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"STM: fix undo into a branch containing side effects\n\nThe \"master\" label used to be reset to the wrong id","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/6e376c8097d75b6e63a7e52332a721f7928992e9"}]}