{"push_id":826107515,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ca52c8e8505882ed6966437a370e69b7316188cf","before":"7e9c55b13ce313349357f69b084600c7a9d0f05a","commits":[{"sha":"ca52c8e8505882ed6966437a370e69b7316188cf","author":{"email":"969d1d429940a00a3fdb14da98dd229aee933d6c@wesleyan.edu","name":"Ben Hudson"},"message":"file","distinct":true,"url":"https://api.github.com/repos/benhuds/Agda/commits/ca52c8e8505882ed6966437a370e69b7316188cf"}]}