{"push_id":2774411763,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ee4407ab053dd9e31ed30904e390d309a2650dd9","before":"65d5b1fa73e2a6a024a864876dadf5b1277a1c57","commits":[{"sha":"ee4407ab053dd9e31ed30904e390d309a2650dd9","author":{"name":"Scott Morrison","email":"63f04b4d96235eb042cc46d94f14d241d2a26722@anu.edu.au"},"message":"bump","distinct":true,"url":"https://api.github.com/repos/semorrison/lean-category-theory/commits/ee4407ab053dd9e31ed30904e390d309a2650dd9"}]}
{"actor":{"display_login":"semorrison"}}