{"push_id":632110952,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"3571dc66b672079cb000ded86c7941d3cd58f662","before":"201740e95826c2436edfb08e997b416e7c167c83","commits":[{"sha":"3bfd783b28e50fec1151431d784f50c2ba20536d","author":{"email":"526bcb87dc3774eb958b4875dd06e40cbe566cbe@rwth-aachen.de","name":"Sebastian Posur"},"message":"AddDerivation: IsIsomorphism","distinct":true,"url":"https://api.github.com/repos/sebastianpos/CAP_project/commits/3bfd783b28e50fec1151431d784f50c2ba20536d"},{"sha":"7050472c33f34273bd43a5a30620cabc6c384103","author":{"email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","name":"Sebastian Gutsche"},"message":"Make the derivations use the Add* methods.","distinct":true,"url":"https://api.github.com/repos/sebastianpos/CAP_project/commits/7050472c33f34273bd43a5a30620cabc6c384103"},{"sha":"a2fffa802ec1075a45a24597f3f4e76e9c7eec26","author":{"email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","name":"Sebastian Gutsche"},"message":"Added unused parameter.","distinct":true,"url":"https://api.github.com/repos/sebastianpos/CAP_project/commits/a2fffa802ec1075a45a24597f3f4e76e9c7eec26"},{"sha":"53e4ced097f98b0e24ecab21d6006e701dbb68e7","author":{"email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","name":"Sebastian Gutsche"},"message":"Merge remote-tracking branch 'Sepp/master'\n\n* Sepp/master:\n  AddDerivation: IsEpimorphism\n  AddDerivation: IsEpimorphism\n  AddDerivation: IsMonomorphism","distinct":true,"url":"https://api.github.com/repos/sebastianpos/CAP_project/commits/53e4ced097f98b0e24ecab21d6006e701dbb68e7"},{"sha":"3571dc66b672079cb000ded86c7941d3cd58f662","author":{"email":"526bcb87dc3774eb958b4875dd06e40cbe566cbe@rwth-aachen.de","name":"Sebastian Posur"},"message":"Merge branch 'master' of github.com:sebasguts/CAP_project\n\n* 'master' of github.com:sebasguts/CAP_project:\n  Added unused parameter.\n  Make the derivations use the Add* methods.","distinct":true,"url":"https://api.github.com/repos/sebastianpos/CAP_project/commits/3571dc66b672079cb000ded86c7941d3cd58f662"}]}