{"push_id":893448221,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6be3e38d7c76ae889358e9c95f902690b876d811","before":"e84aec560b7a209f3c4244ba9580776b1dc84d16","commits":[{"sha":"6be3e38d7c76ae889358e9c95f902690b876d811","author":{"email":"e826c331ed60dd55ed4cda0d14a8abde9af9bffd@web.de","name":"bheuer"},"message":"repair Zero morphisms by implementing ExistZeroMorphismRule and AbelianHomomorphism","distinct":true,"url":"https://api.github.com/repos/bheuer/CategoryProject/commits/6be3e38d7c76ae889358e9c95f902690b876d811"}]}