{"push_id":774527452,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"82cefa6d6e6cb9b254d39325869a5d26ed954db5","before":"845779e4319fdc58732594a2afe79abbe4b55e8f","commits":[{"sha":"82cefa6d6e6cb9b254d39325869a5d26ed954db5","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/82cefa6d6e6cb9b254d39325869a5d26ed954db5"}]}