{"push_id":847923492,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e7679c3c115c331db49d5e20337c42eb2794ba6","before":"f265dfa1adfbc39f866af808411e9375691f0ee2","commits":[{"sha":"9e7679c3c115c331db49d5e20337c42eb2794ba6","author":{"email":"2f62bff9a9877e9468d9dd6018bcda4721bd8fa1@gmail.com","name":"Pierre-Yves Gaillard"},"message":"Update HoTT_Reading_Notes_a.tex","distinct":true,"url":"https://api.github.com/repos/Pierre-Yves-Gaillard/HoTT_Reading_Notes/commits/9e7679c3c115c331db49d5e20337c42eb2794ba6"}]}