{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/11718","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/11718/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/11718/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/11718/events","html_url":"https://github.com/JuliaLang/julia/pull/11718","id":88581378,"number":11718,"title":"Relax Julia history file format, allow blank(s) instead of just a tab…","user":{"login":"ScottPJones","id":11798751,"avatar_url":"https://avatars.githubusercontent.com/u/11798751?v=3","gravatar_id":"","url":"https://api.github.com/users/ScottPJones","html_url":"https://github.com/ScottPJones","followers_url":"https://api.github.com/users/ScottPJones/followers","following_url":"https://api.github.com/users/ScottPJones/following{/other_user}","gists_url":"https://api.github.com/users/ScottPJones/gists{/gist_id}","starred_url":"https://api.github.com/users/ScottPJones/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ScottPJones/subscriptions","organizations_url":"https://api.github.com/users/ScottPJones/orgs","repos_url":"https://api.github.com/users/ScottPJones/repos","events_url":"https://api.github.com/users/ScottPJones/events{/privacy}","received_events_url":"https://api.github.com/users/ScottPJones/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":10,"created_at":"2015-06-16T01:10:11Z","updated_at":"2015-06-17T03:54:53Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JuliaLang/julia/pulls/11718","html_url":"https://github.com/JuliaLang/julia/pull/11718","diff_url":"https://github.com/JuliaLang/julia/pull/11718.diff","patch_url":"https://github.com/JuliaLang/julia/pull/11718.patch"},"body":"The Julia history file gave an error if there was anything but a '\\t' character at the beginning of each code line, however that could cause problems, both if the file were edited with an editor set to convert leading indentation from tabs to spaces, and if the `unindent code` is fixed to be able to handle tabs correctly."},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/112642827","html_url":"https://github.com/JuliaLang/julia/pull/11718#issuecomment-112642827","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/11718","id":112642827,"user":{"login":"StefanKarpinski","id":153596,"avatar_url":"https://avatars.githubusercontent.com/u/153596?v=3","gravatar_id":"","url":"https://api.github.com/users/StefanKarpinski","html_url":"https://github.com/StefanKarpinski","followers_url":"https://api.github.com/users/StefanKarpinski/followers","following_url":"https://api.github.com/users/StefanKarpinski/following{/other_user}","gists_url":"https://api.github.com/users/StefanKarpinski/gists{/gist_id}","starred_url":"https://api.github.com/users/StefanKarpinski/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/StefanKarpinski/subscriptions","organizations_url":"https://api.github.com/users/StefanKarpinski/orgs","repos_url":"https://api.github.com/users/StefanKarpinski/repos","events_url":"https://api.github.com/users/StefanKarpinski/events{/privacy}","received_events_url":"https://api.github.com/users/StefanKarpinski/received_events","type":"User","site_admin":false},"created_at":"2015-06-17T03:54:53Z","updated_at":"2015-06-17T03:54:53Z","body":"Here's what I'd propose: fix the test so that it passes even with your change, which it should since the leading tabs in the history file should not leave the history file. Then we can have a separate discussion of whether the history file format should allow tabs or four spaces since some editors might mangle the history file."}}