{"push_id":548107315,"size":6,"distinct_size":6,"ref":"refs/heads/oxford","head":"4260ae14e1329befb6f37a0d64b2110f2821b76e","before":"44936b48bd712b013f6a46ce170479097040db46","commits":[{"sha":"057f041bf590b40f5230f4e1c9610ec77a389894","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Improve comment.","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/057f041bf590b40f5230f4e1c9610ec77a389894"},{"sha":"9fa5b6abcd60f39c6609a1872f4b99a57dc301cc","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Add end of line at the end of the file.","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/9fa5b6abcd60f39c6609a1872f4b99a57dc301cc"},{"sha":"e0a3b314268d17e73db10b297ce1372ca1f636a7","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'oxford' of https://github.com/andrejbauer/andromeda into oxford\n\nConflicts:\n\tsrc/tt/equal.ml","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/e0a3b314268d17e73db10b297ce1372ca1f636a7"},{"sha":"07feea35bc5dc29c2f0f2bf91d8bbe5257aca66b","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Improve line breaks in printing","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/07feea35bc5dc29c2f0f2bf91d8bbe5257aca66b"},{"sha":"1979b7f4dfd3df06aa8a1ec155656a4976063a91","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Fiddle with pretty printing.","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/1979b7f4dfd3df06aa8a1ec155656a4976063a91"},{"sha":"4260ae14e1329befb6f37a0d64b2110f2821b76e","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Much better printouts","distinct":true,"url":"https://api.github.com/repos/matijapretnar/andromeda/commits/4260ae14e1329befb6f37a0d64b2110f2821b76e"}]}