{"push_id":883475994,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8a6fe1849c2f4fa714c792238c5773bfd2862c40","before":"f9b52c8226a4bb4a7d5e08896b2c867bb881fa0b","commits":[{"sha":"8a6fe1849c2f4fa714c792238c5773bfd2862c40","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Unpack more from functor; remove unnecessary irr","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-groupoids/commits/8a6fe1849c2f4fa714c792238c5773bfd2862c40"}]}