{"push_id":1220456083,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"93cedccd3c31fe3bb2d774c9acedd2d0923dc958","before":"938f60873ddec8b35ee9b8ffdcdfdcc5fa35d293","commits":[{"sha":"1861accc146d06de7e394179e473e11651116770","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Update .mailmap","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/HoTT/commits/1861accc146d06de7e394179e473e11651116770"},{"sha":"df10f23259bbb129768ab62c554d4c0793382d7a","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"theories/{hit => HIT,categories => Categories}\n\nThis closes #612","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/HoTT/commits/df10f23259bbb129768ab62c554d4c0793382d7a"},{"sha":"93cedccd3c31fe3bb2d774c9acedd2d0923dc958","author":{"name":"Mike Shulman","email":"b6b2da8f1cdd75b5ff411e37fed083f62b5628a7@gmail.com"},"message":"Merge pull request #822 from JasonGross/rename-hit-categories\n\ntheories/{hit => HIT,categories => Categories}","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/HoTT/commits/93cedccd3c31fe3bb2d774c9acedd2d0923dc958"}]}
{"actor":{"display_login":"SkySkimmer"}}