{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1945","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1945/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1945/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1945/events","html_url":"https://github.com/idris-lang/Idris-dev/pull/1945","id":58796278,"number":1945,"title":"Revert \"Set encoding to UTF8 on Windows and fix :exec\"","user":{"login":"Heather","id":2656965,"avatar_url":"https://avatars.githubusercontent.com/u/2656965?v=3","gravatar_id":"","url":"https://api.github.com/users/Heather","html_url":"https://github.com/Heather","followers_url":"https://api.github.com/users/Heather/followers","following_url":"https://api.github.com/users/Heather/following{/other_user}","gists_url":"https://api.github.com/users/Heather/gists{/gist_id}","starred_url":"https://api.github.com/users/Heather/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Heather/subscriptions","organizations_url":"https://api.github.com/users/Heather/orgs","repos_url":"https://api.github.com/users/Heather/repos","events_url":"https://api.github.com/users/Heather/events{/privacy}","received_events_url":"https://api.github.com/users/Heather/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":8,"created_at":"2015-02-24T20:07:32Z","updated_at":"2015-02-24T20:25:50Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/pulls/1945","html_url":"https://github.com/idris-lang/Idris-dev/pull/1945","diff_url":"https://github.com/idris-lang/Idris-dev/pull/1945.diff","patch_url":"https://github.com/idris-lang/Idris-dev/pull/1945.patch"},"body":"Discussion could be here.\r\n\r\nBecause I don't want to install some hacky utf8 terminal now I don't like to see messages like that: `╨Э╨╡ ╤Г\r\n╨┤╨░╨╡╤В╤Б╤П ╨╜╨░╨╣╤В╨╕ ╤Г╨║╨░╨╖╨░╨╜╨╜╤Л╨╣ ╤Д╨░╨╣╨╗.`\r\n\r\nIt's `Не удается найти указанный файл.` encoded in utf8 and that's how default windows user will see it (maybe English will be fine but not my language) so I strongly suggest to revert it but it's my personal opinion.\r\n"},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/75838432","html_url":"https://github.com/idris-lang/Idris-dev/pull/1945#issuecomment-75838432","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1945","id":75838432,"user":{"login":"melted","id":219997,"avatar_url":"https://avatars.githubusercontent.com/u/219997?v=3","gravatar_id":"","url":"https://api.github.com/users/melted","html_url":"https://github.com/melted","followers_url":"https://api.github.com/users/melted/followers","following_url":"https://api.github.com/users/melted/following{/other_user}","gists_url":"https://api.github.com/users/melted/gists{/gist_id}","starred_url":"https://api.github.com/users/melted/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/melted/subscriptions","organizations_url":"https://api.github.com/users/melted/orgs","repos_url":"https://api.github.com/users/melted/repos","events_url":"https://api.github.com/users/melted/events{/privacy}","received_events_url":"https://api.github.com/users/melted/received_events","type":"User","site_admin":false},"created_at":"2015-02-24T20:25:50Z","updated_at":"2015-02-24T20:25:50Z","body":"Hmmm... weird, I get that, Can you make a new PR that just removes the hSetEncoding line from main?\r\n\r\n"}}