{"push_id":3119385737,"size":1,"distinct_size":1,"ref":"refs/heads/cones_yoneda","head":"6f0e507493fa5b4b3773a05e695e731d3ea36a35","before":"d44cbf6b255c5d30b94ae443c71f5824fab117c0","commits":[{"sha":"6f0e507493fa5b4b3773a05e695e731d3ea36a35","author":{"name":"Johan M. Commelin","email":"e7ca5790f2355b14efee0c5f4e04cb79acd04b19@commelin.net"},"message":"Increase similarity betwee functors 'cones' and 'cocones'","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/6f0e507493fa5b4b3773a05e695e731d3ea36a35"}]}
{"actor":{"display_login":"jcommelin"}}