{"push_id":949096616,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"813fec33179d51c7dc3706f1d7f4cf31e8d4496c","before":"e3484360408e7fd1769efb2e8fca864794e2ef38","commits":[{"sha":"813fec33179d51c7dc3706f1d7f4cf31e8d4496c","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"cleanup","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-globular-objects/commits/813fec33179d51c7dc3706f1d7f4cf31e8d4496c"}]}