{"push_id":1459034815,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6e57e70d04bfdde34e4b0099b6151683c48e3f5a","before":"015031e281c8d6f2cdf8aa1080651915bca11fc9","commits":[{"sha":"6e57e70d04bfdde34e4b0099b6151683c48e3f5a","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(frontends/lean/pp): pretty print issue, and fix broken tests output\n\nRemark: we do not allow user to access abstracted version anymore inside\nof a section.","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/6e57e70d04bfdde34e4b0099b6151683c48e3f5a"}]}
{"actor":{"display_login":"leodemoura"}}