{"push_id":710602836,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c5ae3c209a06890c562562b365a423b3d8a4daf2","before":"eeb6ce3df875cb83622753d7c8db30db6d70cbde","commits":[{"sha":"c5ae3c209a06890c562562b365a423b3d8a4daf2","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"More cleanup","distinct":true,"url":"https://api.github.com/repos/jonsterling/agda-brouwerian-mathematics/commits/c5ae3c209a06890c562562b365a423b3d8a4daf2"}]}