{"push_id":958869150,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"bfbf5ae995c467a25922135b945421aef365921b","before":"d79ac6d85c3e6c46b20c7d4be7e7c62debff4634","commits":[{"sha":"04559fdbed8c0502a7252ed7114807426a661d0f","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Update natural numbers","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/04559fdbed8c0502a7252ed7114807426a661d0f"},{"sha":"01612406a994c21024a805968bc5b460ea4e422f","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"An attempt to formalize Egbert Rijke's E-systems.","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/01612406a994c21024a805968bc5b460ea4e422f"},{"sha":"2cb439171c3f8e038076b0505c304e8f775f19e2","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' of github.com:Andromedans/andromeda","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/2cb439171c3f8e038076b0505c304e8f775f19e2"},{"sha":"7d1c5a682dd84f11dca97708fefedcd9c2fb6f44","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Fix printing of projections.","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/7d1c5a682dd84f11dca97708fefedcd9c2fb6f44"},{"sha":"6758e5336596ec69e9f3c1189178fc2d1b49389c","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' of github.com:Andromedans/andromeda","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/6758e5336596ec69e9f3c1189178fc2d1b49389c"},{"sha":"4c80ff06b6e0dc0ae6bcd9381c67370ccf8db9fb","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' into esystems","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/4c80ff06b6e0dc0ae6bcd9381c67370ccf8db9fb"},{"sha":"7ba314fcdf66e3734c6243c039ef09ceed6b7114","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Remove hack from `std/equal.m31`\n\nThis piece of code prevented Egbert's esystems from \"working\".","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/7ba314fcdf66e3734c6243c039ef09ceed6b7114"},{"sha":"bfbf5ae995c467a25922135b945421aef365921b","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Merge pull request #176 from andrejbauer/remove-hack\n\nRemove hack","distinct":true,"url":"https://api.github.com/repos/haselwarter/andromeda/commits/bfbf5ae995c467a25922135b945421aef365921b"}]}