{"push_id":928870950,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"aadafaed28a2a6d3abc9f45011289b76faf73764","before":"b0781a5c2c85e26f1058bb60faeff0404588b6cb","commits":[{"sha":"4cd55628d655c3e1755852afc49ba13e1de9d8b9","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Bisimulation implies order","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-prelude/commits/4cd55628d655c3e1755852afc49ba13e1de9d8b9"},{"sha":"aadafaed28a2a6d3abc9f45011289b76faf73764","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Fix up colist stuff","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-prelude/commits/aadafaed28a2a6d3abc9f45011289b76faf73764"}]}