{"push_id":591905955,"size":6,"distinct_size":2,"ref":"refs/heads/master","head":"5c351038ae858cbd25cce3c3d9f1ef9588f4f94d","before":"04f95404146629c11418773baf8b186829acf17d","commits":[{"sha":"80f1b31adee4a4433b88f6c30a200ee47f70842b","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Add horn types","distinct":false,"url":"https://api.github.com/repos/valis/hott-doc/commits/80f1b31adee4a4433b88f6c30a200ee47f70842b"},{"sha":"98c5c8deb872aaf8c6a351b5b866fae5688d6978","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"beta reductions for horn elims","distinct":false,"url":"https://api.github.com/repos/valis/hott-doc/commits/98c5c8deb872aaf8c6a351b5b866fae5688d6978"},{"sha":"674ec048c41905347c91f5d0f78617fea19263ac","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Add description of horn types","distinct":false,"url":"https://api.github.com/repos/valis/hott-doc/commits/674ec048c41905347c91f5d0f78617fea19263ac"},{"sha":"c74389a8ad1aac2d11a33c22a2553944a7cf4ecc","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Add coe^n","distinct":false,"url":"https://api.github.com/repos/valis/hott-doc/commits/c74389a8ad1aac2d11a33c22a2553944a7cf4ecc"},{"sha":"73844bd960981211185cc521ee2d447f1f4198c6","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Merge branch 'master' of github.com:valis/hott-doc\n\nConflicts:\n\ttau.tex","distinct":true,"url":"https://api.github.com/repos/valis/hott-doc/commits/73844bd960981211185cc521ee2d447f1f4198c6"},{"sha":"5c351038ae858cbd25cce3c3d9f1ef9588f4f94d","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Merge branch 'master' of github.com:valis/hott-doc","distinct":true,"url":"https://api.github.com/repos/valis/hott-doc/commits/5c351038ae858cbd25cce3c3d9f1ef9588f4f94d"}]}