{"push_id":1469561942,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"c95baa9aa4ced6f9e2bef519aba32259a6af66ba","before":"8b1274dfb2200d7010cb2a818fe8e8fd6e183030","commits":[{"sha":"f3258c1edb49b8ac3b8e75e5b1f80afc0bf6d4b4","author":{"name":"felix.wellen","email":"8c884decd49cf9d766033d342514ca111f488cc9@kit.edu"},"message":"rename invertible H-Spaces to non-assoc.-groups","distinct":false,"url":"https://api.github.com/repos/felixwellen/DCHoTT-Agda/commits/f3258c1edb49b8ac3b8e75e5b1f80afc0bf6d4b4"},{"sha":"c95baa9aa4ced6f9e2bef519aba32259a6af66ba","author":{"name":"felix.wellen","email":"8c884decd49cf9d766033d342514ca111f488cc9@kit.edu"},"message":"mention Im.agda in the README as a file to look at,\nsince some people like to start at this place...","distinct":true,"url":"https://api.github.com/repos/felixwellen/DCHoTT-Agda/commits/c95baa9aa4ced6f9e2bef519aba32259a6af66ba"}]}
{"actor":{"display_login":"felixwellen"}}