{"push_id":1248543245,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"917386c04a5a99024ede12c69fc201a6fd1018e3","before":"5776abc2d03965a023c00358e3a06da9fd197467","commits":[{"sha":"917386c04a5a99024ede12c69fc201a6fd1018e3","author":{"name":"Dersu Uzala","email":"ab4bdc932a070a0fe07ec25ad7f003124394e282@egri-nagy.hu"},"message":"fixing poset, but holonomy got a bit upside-down","distinct":true,"url":"https://api.github.com/repos/egri-nagy/kigen/commits/917386c04a5a99024ede12c69fc201a6fd1018e3"}]}
{"actor":{"display_login":"egri-nagy"}}