{"push_id":2958613769,"size":4,"distinct_size":3,"ref":"refs/heads/limits-constructions","head":"ec79d9c59631a2f05b1eff4dda3f796a51275281","before":"01399179bab0e6146c98814ba6b724ccaa3756f4","commits":[{"sha":"5dd8e9a07792b6e8406395249cb43db092b2319d","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"oops, finishing rename","distinct":false,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/5dd8e9a07792b6e8406395249cb43db092b2319d"},{"sha":"140b9eaae988d45bdb324021c6d2e61c4118cb12","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"feat(category_theory/limits): constructions","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/140b9eaae988d45bdb324021c6d2e61c4118cb12"},{"sha":"f4729213785e2bbf5cf050c8bcf8da0be929cf6c","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"changing an instance to a def","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/f4729213785e2bbf5cf050c8bcf8da0be929cf6c"},{"sha":"ec79d9c59631a2f05b1eff4dda3f796a51275281","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"instance that should have been a def","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/ec79d9c59631a2f05b1eff4dda3f796a51275281"}]}
{"actor":{"display_login":"semorrison"}}