{"push_id":1350524738,"size":2,"distinct_size":2,"ref":"refs/heads/lean3","head":"76570e25443a158eeb3feb0fb26fbb6c5c85fddd","before":"27c7c37c0456361c02063918d3284df8979b59ab","commits":[{"sha":"a5029ab5d24c91f9f3b879da19d2889afdf3eef8","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(frontends/lean): improve error localization","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/a5029ab5d24c91f9f3b879da19d2889afdf3eef8"},{"sha":"76570e25443a158eeb3feb0fb26fbb6c5c85fddd","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"checkpoint\n\ncheckpoint","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/76570e25443a158eeb3feb0fb26fbb6c5c85fddd"}]}
{"actor":{"display_login":"leodemoura"}}