{"push_id":621317894,"size":10,"distinct_size":7,"ref":"refs/heads/master","head":"4359eddcfc4bf85839cbe0048b85c8be978f8811","before":"663c401154fb4f43f8bdb861abee006299f07f81","commits":[{"sha":"8cc23127151274d5a64b22898aabdaf0861752e4","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Don't let tests depend on colouring.","distinct":false,"url":"https://api.github.com/repos/melted/Idris-dev/commits/8cc23127151274d5a64b22898aabdaf0861752e4"},{"sha":"1592354e562c3ccbfaa4e035aad72e02a958bc73","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Make reg029 pass on Windows","distinct":false,"url":"https://api.github.com/repos/melted/Idris-dev/commits/1592354e562c3ccbfaa4e035aad72e02a958bc73"},{"sha":"42a384bab69b682b0462de37fa3b376acba37c14","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2095 from melted/nocolour_test\n\nDon't let tests depend on colouring.","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/42a384bab69b682b0462de37fa3b376acba37c14"},{"sha":"7871ecbe26e6d19c1e737357aaeb23d236f8f639","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2096 from melted/win_test\n\nMake reg029 pass on Windows","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/7871ecbe26e6d19c1e737357aaeb23d236f8f639"},{"sha":"220011e4c8f46d0eb2fc64add0eeefc8c210aa95","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Replace the Monoid instance on Maybe\n\nThe current default Monoid instance for Maybe is like that in Haskell,\nwhere a semigroup operator on the underlying type is used to collect\nsuccesses. Conor argues convincingly that this is not the right notion\nof computation for Maybe [1], so I figured I'd fix it while we're young.\n\n[1] https://www.reddit.com/r/haskell/comments/30s1t2/proposal_make_semigroup_as_a_superclass_of_monoid/cpvdco1\n\nThe old behavior is available in a named instance, and both are documented.","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/220011e4c8f46d0eb2fc64add0eeefc8c210aa95"},{"sha":"8b3b6e843913bfdc6bac977c9f598d65b38bffd0","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Remove partiality from IdrisDoc","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/8b3b6e843913bfdc6bac977c9f598d65b38bffd0"},{"sha":"4dd164cac8454fae26885909660319c65f43915b","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Set encoding for read files.\n\nIt may seem strange to open a file and not close it, but that\nis how readFile works too. hGetContents is lazy and will close\nthe file when all content has been read.","distinct":false,"url":"https://api.github.com/repos/melted/Idris-dev/commits/4dd164cac8454fae26885909660319c65f43915b"},{"sha":"8a3d3480c0d7233534569dd69b2098ca8f37b220","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2100 from david-christiansen/maybe-monoid\n\nReplace the Monoid instance on Maybe","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/8a3d3480c0d7233534569dd69b2098ca8f37b220"},{"sha":"31a0d7bbe0b75d892b324840ef1aa6b24fe2e7c1","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'unicode' of git://github.com/melted/Idris-dev into melted-unicode","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/31a0d7bbe0b75d892b324840ef1aa6b24fe2e7c1"},{"sha":"4359eddcfc4bf85839cbe0048b85c8be978f8811","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"List UTF8 source code in CHANGELOG","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/4359eddcfc4bf85839cbe0048b85c8be978f8811"}]}