{"push_id":613732525,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"33db9b29530b9e4d4cf0abbe678e4ddfc1d79d21","before":"f0b400d7d95462b515f358ccd510b9971e35c1a7","commits":[{"sha":"a1c1fcb2f0d3164a1d166b1197b846c6be6cbb4b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(frontends/lean/pp): bug in pretty printer new feature","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/a1c1fcb2f0d3164a1d166b1197b846c6be6cbb4b"},{"sha":"33db9b29530b9e4d4cf0abbe678e4ddfc1d79d21","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(frontends/lean/pp): bug in pretty printer new feature","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/33db9b29530b9e4d4cf0abbe678e4ddfc1d79d21"}]}