{"push_id":701659439,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"94fb722d5c05e770dc82a8930f314bfc1c345750","before":"96db89457b4563cda165724baea795d3c862e334","commits":[{"sha":"aee6958d35f771b827fe7046d9bb4f23416054e9","author":{"email":"222b3e11200d82d61f1b89533e59175f71d23972@uni-bonn.de","name":"danielgerigk"},"message":"fix typo","distinct":true,"url":"https://api.github.com/repos/HoTT/book/commits/aee6958d35f771b827fe7046d9bb4f23416054e9"},{"sha":"94fb722d5c05e770dc82a8930f314bfc1c345750","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #824 from danielgerigk/PHstructure\n\nfix typo","distinct":true,"url":"https://api.github.com/repos/HoTT/book/commits/94fb722d5c05e770dc82a8930f314bfc1c345750"}]}