{"push_id":1180545597,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"e3ba1cb13558ccce8e06c02a2684615ad0ca8673","before":"5b541ed70e11bed334ea2634b38af750d00d1d08","commits":[{"sha":"02235c3134c3200a2fc629b1602ac1565763a73d","author":{"name":"Tomi Pannila","email":"8b232b44bd071f117fad8e511df3a96a81b01351@gmail.com"},"message":"Pullback of a monic is a monic","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/02235c3134c3200a2fc629b1602ac1565763a73d"},{"sha":"232fb764c1e4efa23490069c91d2e5f8c4d0e21e","author":{"name":"Tomi Pannila","email":"8b232b44bd071f117fad8e511df3a96a81b01351@gmail.com"},"message":"Fixed into to outof in pushouts","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/232fb764c1e4efa23490069c91d2e5f8c4d0e21e"},{"sha":"f45a0ae50d2e458be8b462cf777caf22c4a7917e","author":{"name":"Tomi Pannila","email":"8b232b44bd071f117fad8e511df3a96a81b01351@gmail.com"},"message":"Fixed the naming","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/f45a0ae50d2e458be8b462cf777caf22c4a7917e"},{"sha":"e3ba1cb13558ccce8e06c02a2684615ad0ca8673","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"Merge pull request #385 from tpannila/monicpullback\n\nPullback of a monic is a monic","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/e3ba1cb13558ccce8e06c02a2684615ad0ca8673"}]}
{"actor":{"display_login":"benediktahrens"}}