{"push_id":2440211508,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"c3dc3b4cf7d7af12a4fea3dfc341fccbd5f316f3","before":"5abf34ca5c44bc906af736c56ecd472b037b7a91","commits":[{"sha":"4793ade09f23a99f86f6f9bfd5d9590b1d750430","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"factor out construction of iso of cats","distinct":true,"url":"https://api.github.com/repos/amblafont/largecatmodules/commits/4793ade09f23a99f86f6f9bfd5d9590b1d750430"},{"sha":"fb5176c93405c90bf5372cec98ab81e1ccac70d7","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"remove dupl proof","distinct":true,"url":"https://api.github.com/repos/amblafont/largecatmodules/commits/fb5176c93405c90bf5372cec98ab81e1ccac70d7"},{"sha":"c3dc3b4cf7d7af12a4fea3dfc341fccbd5f316f3","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmail.com"},"message":"Merge pull request #44 from benediktahrens/modularize\n\nModularize the transfer of initiality","distinct":true,"url":"https://api.github.com/repos/amblafont/largecatmodules/commits/c3dc3b4cf7d7af12a4fea3dfc341fccbd5f316f3"}]}
{"actor":{"display_login":"benediktahrens"}}