{"push_id":2851175885,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"600d3cf6a9dd897f4d7c9b0cdbdd0b79a480397f","before":"76de588dd96934d3055f3a6a31b6b6cde0000820","commits":[{"sha":"600d3cf6a9dd897f4d7c9b0cdbdd0b79a480397f","author":{"name":"Johannes Hölzl","email":"6a42e4f05e035b36d69110e5e598d0a025dfe1e6@gmx.de"},"message":"cleanup(data/polynomial): shorten some proofs","distinct":true,"url":"https://api.github.com/repos/leanprover/mathlib/commits/600d3cf6a9dd897f4d7c9b0cdbdd0b79a480397f"}]}
{"actor":{"display_login":"johoelzl"}}