{"push_id":829224790,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cb0fac71fec28e4a5865600990f722a5dc0f2f7","before":"eab6dc3a6e1cb04238538ec4ad86778d16322fd1","commits":[{"sha":"1cb0fac71fec28e4a5865600990f722a5dc0f2f7","author":{"email":"969d1d429940a00a3fdb14da98dd229aee933d6c@wesleyan.edu","name":"Ben Hudson"},"message":"barfing up the wrong tree","distinct":true,"url":"https://api.github.com/repos/benhuds/Agda/commits/1cb0fac71fec28e4a5865600990f722a5dc0f2f7"}]}