{"push_id":561940986,"size":1,"distinct_size":1,"ref":"refs/heads/overhaul","head":"7c815329c002b5a3ad1e08f8d3d5a16627cfa9c2","before":"a17eca4dddb0a75fe91c4385f7e244a6f8c5452f","commits":[{"sha":"7c815329c002b5a3ad1e08f8d3d5a16627cfa9c2","author":{"email":"0197ac2e69c813487bb8b641f8dc1387c4e0245f@cs.ox.ac.uk","name":"Alex Kavvos"},"message":"More homogeneous syntax.","distinct":true,"url":"https://api.github.com/repos/lambdabetaheta/UniMath/commits/7c815329c002b5a3ad1e08f8d3d5a16627cfa9c2"}]}