{"push_id":774860352,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"dc5e42dbc3005288a4f86a39b1807278f378a776","before":"0b3f26087df1066fc07afabdbf03fdaa89e8abe4","commits":[{"sha":"50104a4c1ceb7a780db8a71870af57b4f433ff24","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"typo: concatenatation -> concatenation","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/50104a4c1ceb7a780db8a71870af57b4f433ff24"},{"sha":"768ddb1cd277ab6e8531b9b05d6273dbcfff0edf","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2557 from Heather/typo\n\ntypo: concatenatation -> concatenation","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/768ddb1cd277ab6e8531b9b05d6273dbcfff0edf"},{"sha":"dfba993f4c7009bd02b737dbceaf89c2a531165d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Experimental support for console colours on Windows","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/dfba993f4c7009bd02b737dbceaf89c2a531165d"},{"sha":"102bd6b523619e4fb8abfe282378d048c57d81f5","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2558 from david-christiansen/windows-colour\n\nExperimental support for console colours on Windows","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/102bd6b523619e4fb8abfe282378d048c57d81f5"},{"sha":"5b841fb7b183ad6f006fd91f9b04a5ffa004fbda","author":{"email":"3efe51fd881b1a849d4b39592125eda41a19cc34@gmail.com","name":"Jeremy W. Sherman"},"message":"Fix typo in doc comment\n\nReported by user Freefood in #idris on Freenode.","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/5b841fb7b183ad6f006fd91f9b04a5ffa004fbda"},{"sha":"378bbd6f98f0fa0e587c2f07b02ee2469b004045","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2560 from jeremy-w/patch-1\n\nFix typo in doc comment","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/378bbd6f98f0fa0e587c2f07b02ee2469b004045"},{"sha":"e86b0f6d0a312a1590e5293c43fb83e365b81861","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Check for TTY when setting colour\n\nThis means that when doing a redirect to file, one doesn't have to turn\noff colour manually.","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/e86b0f6d0a312a1590e5293c43fb83e365b81861"},{"sha":"1e80f1f3cc3c8569b0e1c45faa005149e4a78b12","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"No newline after case in :makecase","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/1e80f1f3cc3c8569b0e1c45faa005149e4a78b12"},{"sha":"dc5e42dbc3005288a4f86a39b1807278f378a776","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2561 from melted/tty\n\nCheck for TTY when setting colour","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/dc5e42dbc3005288a4f86a39b1807278f378a776"}]}