{"push_id":2861037553,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"73abe2e1b74531a70230bf2f7c141dbbe9550318","before":"5613d2ecc92ce8fae9555745bd94756dec61a323","commits":[{"sha":"73abe2e1b74531a70230bf2f7c141dbbe9550318","author":{"name":"Reid Barton","email":"3bb2983727c6d6bc60ede43cc87982b9ca729af6@gmail.com"},"message":"fix(category_theory/products): fix types of inl/inr/fst/snd (#320)","distinct":true,"url":"https://api.github.com/repos/leanprover/mathlib/commits/73abe2e1b74531a70230bf2f7c141dbbe9550318"}]}
{"actor":{"display_login":"johoelzl"}}