{"push_id":581658168,"size":2,"distinct_size":2,"ref":"refs/heads/hott-renaming","head":"2c4c6acc09771f713c1de52117525e949ea51003","before":"a16b9fea70354e242735c4abcbddd0d281b516cd","commits":[{"sha":"e24dc06756d2c5350087d7fa4eb49e8430bbf7fa","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"squash","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/e24dc06756d2c5350087d7fa4eb49e8430bbf7fa"},{"sha":"2c4c6acc09771f713c1de52117525e949ea51003","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"more cleanup, more yoneda, squash","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/2c4c6acc09771f713c1de52117525e949ea51003"}]}