{"push_id":1224633363,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ec921fe6486b146e4ef416986825ea8a6d8721e6","before":"a23c7770e2d3d3a02aeca03c039e236c9948a6d3","commits":[{"sha":"a1f052c86687a5f8917a0c22611d961cf6f0d6d1","author":{"name":"Tomi Pannila","email":"8b232b44bd071f117fad8e511df3a96a81b01351@gmail.com"},"message":"Cleaned PartA.v","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/a1f052c86687a5f8917a0c22611d961cf6f0d6d1"},{"sha":"ec921fe6486b146e4ef416986825ea8a6d8721e6","author":{"name":"Vladimir Voevodsky","email":"7c1cdf8207b2cbaae42368cd38ff571b0f516dec@ias.edu"},"message":"Merge pull request #411 from tpannila/partA\n\nCleaned PartA.v","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/ec921fe6486b146e4ef416986825ea8a6d8721e6"}]}
{"actor":{"display_login":"vladimirias"}}