{"push_id":618232079,"size":8,"distinct_size":1,"ref":"refs/heads/master-with-autoreconf-files","head":"305d8977a2eea0023e9ed81b9ef089c6db9c6bee","before":"00ac867ea2383bc1dbfd8366b7b7eb5f1b1ebaa1","commits":[{"sha":"a3b9edb4909d02c7a445e683e3b27801429e8292","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Split off Spaces/Int from hit/Circle","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/a3b9edb4909d02c7a445e683e3b27801429e8292"},{"sha":"504476f0f9f5737fe365da8344816eb4d00f6a25","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"double recursion and induction for coequalizers","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/504476f0f9f5737fe365da8344816eb4d00f6a25"},{"sha":"06f9a0f63486b58f9beeb90bcf0913bb75392535","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"define the circle as a coequalizer","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/06f9a0f63486b58f9beeb90bcf0913bb75392535"},{"sha":"04a450deeeac8c5fa645fc6440708d80a72c7db5","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"functoriality of coequalizers","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/04a450deeeac8c5fa645fc6440708d80a72c7db5"},{"sha":"2e95730a9c95ea22e2addedb3dba1b3a7b5a07d0","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"truncation and connectedness of S1","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/2e95730a9c95ea22e2addedb3dba1b3a7b5a07d0"},{"sha":"035c43f389d57a76107a26ca374082c9fe1bbca8","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"make the inverse function of functor_coeq transparent","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/035c43f389d57a76107a26ca374082c9fe1bbca8"},{"sha":"1b5227602e7e42113bf41d7e229e21586047d9b7","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #741 from mikeshulman/coeq-circle\n\nMore about coequalizers and the circle","distinct":false,"url":"https://api.github.com/repos/HoTT/HoTT/commits/1b5227602e7e42113bf41d7e229e21586047d9b7"},{"sha":"305d8977a2eea0023e9ed81b9ef089c6db9c6bee","author":{"email":"1fb13b1f48f1e85dffd6bab984b7c9632373a49b@travis.fake","name":"Travis-CI Bot"},"message":"./autogen.sh","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/305d8977a2eea0023e9ed81b9ef089c6db9c6bee"}]}