{"push_id":882429417,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"410817043e5ff08ebf65dc823219c31e4486e06d","before":"04d05be91a158ad248b748e75584c791060c903b","commits":[{"sha":"410817043e5ff08ebf65dc823219c31e4486e06d","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/410817043e5ff08ebf65dc823219c31e4486e06d"}]}