{"push_id":918848355,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"18297a6d4e73c9f46c9e5862c5e49317eb01b154","before":"e7005262f7856c83ade859deb04001ab72a0638b","commits":[{"sha":"18297a6d4e73c9f46c9e5862c5e49317eb01b154","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/18297a6d4e73c9f46c9e5862c5e49317eb01b154"}]}