{"push_id":2867551493,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"51c4563435b061169c331cb298dd6bf468188c34","before":"b449173ef1bacb29cdaae21f4573b5cd1516aaf6","commits":[{"sha":"51c4563435b061169c331cb298dd6bf468188c34","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"broke the proofs, but better definitions","distinct":true,"url":"https://api.github.com/repos/semorrison/lean-category-theory/commits/51c4563435b061169c331cb298dd6bf468188c34"}]}
{"actor":{"display_login":"semorrison"}}