{"push_id":832995692,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5455b4de3e694bd608315149056195a647d5c953","before":"08a85cf2dd0259980dcc48abfd81905dd00f4c27","commits":[{"sha":"5455b4de3e694bd608315149056195a647d5c953","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Remove outdated comment","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-groupoids/commits/5455b4de3e694bd608315149056195a647d5c953"}]}