{"push_id":746972572,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3af3acac17d29610ba0c851b39c0efc2e905c54e","before":"eff49e424d2b7abfc95af2ca2700a90d100b5f32","commits":[{"sha":"3af3acac17d29610ba0c851b39c0efc2e905c54e","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/3af3acac17d29610ba0c851b39c0efc2e905c54e"}]}