{"push_id":572889637,"size":14,"distinct_size":14,"ref":"refs/heads/master","head":"807d623a25e670a88995bd58e44ef19a5fe303ba","before":"cf25411a72fd4147e5fe604f5b9c6cad7f0c17ff","commits":[{"sha":"907185639d6d3a33d81add8a501c756df4083dc1","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Make isTConName and friends exact\n\nThey should only be used in a disambiguated context anyway to avoid it\npicking the wrong one. Before this change, the coloring was wrong on\n\n    :let data A = A.A\n    :t A\n\nNow it is fixed.","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/907185639d6d3a33d81add8a501c756df4083dc1"},{"sha":"38e3a4083a016499b92d5fb4437aea1de242d3a8","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #1902 from JakobBruenker/master\n\nAdded the Zero Constructor to Data.Sign","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/38e3a4083a016499b92d5fb4437aea1de242d3a8"},{"sha":"b13b6da4935eb79ea8c8d87885eeeaf410c03120","author":{"email":"79920952182211d70166315d3f529d6f810d55c8@gmail.com","name":"Jakob Brünker"},"message":"update contributors to include myself\n\nsince I have submitted two pull requests which have been accepted,\r\nD. Christiansen suggested I should be in this file.","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/b13b6da4935eb79ea8c8d87885eeeaf410c03120"},{"sha":"df574ec148335d7f1ff4efd6dcdb7429fffe6089","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Remember full names when checking impossible patterns","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/df574ec148335d7f1ff4efd6dcdb7429fffe6089"},{"sha":"e0dc91e6ca3d167980059f6dbd467b33ab65195d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Make some comments into proper Haddock","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/e0dc91e6ca3d167980059f6dbd467b33ab65195d"},{"sha":"54451e462610b68474f00eb95b1b70d2c1335ae2","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Test case that was accidentally accepted before","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/54451e462610b68474f00eb95b1b70d2c1335ae2"},{"sha":"ef954e1fac8d77e6036accafe3abae7712620ca7","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Fix the new totality test\n\nThis makes one of the isDConName calls less specific, due to unresolved\nnames coming out of impossible patterns.","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/ef954e1fac8d77e6036accafe3abae7712620ca7"},{"sha":"0657c46f7cb7cf9eab56098b7c4a3c25476dbe13","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Convert some elaborator comments into Haddock","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/0657c46f7cb7cf9eab56098b7c4a3c25476dbe13"},{"sha":"c6771d240df296fc01ea271dbcd3b1a596365503","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #1884 from david-christiansen/color-issue\n\nMake isTConName and friends exact","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/c6771d240df296fc01ea271dbcd3b1a596365503"},{"sha":"1f7d1f2f9286ebf53dadfe83d8af51f655330e8b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'patch-1' of https://github.com/JakobBruenker/Idris-dev into JakobBruenker-patch-1","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/1f7d1f2f9286ebf53dadfe83d8af51f655330e8b"},{"sha":"9a4ee342edbbc4d81d05fee9055241d0072b0a1c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Re-alphabetize CONTRIBUTORS","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/9a4ee342edbbc4d81d05fee9055241d0072b0a1c"},{"sha":"aa410e424a88419467c55d1af7af6d59ea052135","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'JakobBruenker-patch-1'","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/aa410e424a88419467c55d1af7af6d59ea052135"},{"sha":"b85b2eb77d8b827c508f3d70018a382d5b52e933","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Rename ideslave to ide-mode\n\nThis patch changes the name of the machine-readable REPL syntax from\nideslave to ide-mode. The old command line options still work, but are\nannounced as deprecated for a while.","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/b85b2eb77d8b827c508f3d70018a382d5b52e933"},{"sha":"807d623a25e670a88995bd58e44ef19a5fe303ba","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #1912 from david-christiansen/ide-mode\n\nRename ideslave to ide-mode","distinct":true,"url":"https://api.github.com/repos/JakobBruenker/Idris-dev/commits/807d623a25e670a88995bd58e44ef19a5fe303ba"}]}