{"push_id":996671123,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6991e7d0c5dd1c757c093a7795e29e76f854bde4","before":"456f3064905833951c80fbe537970a3519fd9fa0","commits":[{"sha":"6991e7d0c5dd1c757c093a7795e29e76f854bde4","author":{"email":"473aed3398792fdf8387353eea00ccd14294cde6@gmail.com","name":"Gabe Dijkstra"},"message":"Some minor additions, working towards showing that F-alg has omega-colims, if the base category has them","distinct":true,"url":"https://api.github.com/repos/gdijkstra/colim/commits/6991e7d0c5dd1c757c093a7795e29e76f854bde4"}]}