{"push_id":822335418,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f8b8ae51e595d3a2f4c14d546fd524dff0bef4c4","before":"be432e5769394e4f02f8b477edac0e36e1ec0456","commits":[{"sha":"f8b8ae51e595d3a2f4c14d546fd524dff0bef4c4","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Update description","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-groupoids/commits/f8b8ae51e595d3a2f4c14d546fd524dff0bef4c4"}]}