{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/9732","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/9732/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/9732/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/9732/events","html_url":"https://github.com/JuliaLang/julia/pull/9732","id":54006070,"number":9732,"title":"Minor code and style improvements in ui/repl.c","user":{"login":"drepper","id":2918631,"avatar_url":"https://avatars.githubusercontent.com/u/2918631?v=3","gravatar_id":"","url":"https://api.github.com/users/drepper","html_url":"https://github.com/drepper","followers_url":"https://api.github.com/users/drepper/followers","following_url":"https://api.github.com/users/drepper/following{/other_user}","gists_url":"https://api.github.com/users/drepper/gists{/gist_id}","starred_url":"https://api.github.com/users/drepper/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/drepper/subscriptions","organizations_url":"https://api.github.com/users/drepper/orgs","repos_url":"https://api.github.com/users/drepper/repos","events_url":"https://api.github.com/users/drepper/events{/privacy}","received_events_url":"https://api.github.com/users/drepper/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":8,"created_at":"2015-01-11T21:38:25Z","updated_at":"2015-01-12T13:06:43Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JuliaLang/julia/pulls/9732","html_url":"https://github.com/JuliaLang/julia/pull/9732","diff_url":"https://github.com/JuliaLang/julia/pull/9732.diff","patch_url":"https://github.com/JuliaLang/julia/pull/9732.patch"},"body":"- use array variables instead of pointers\r\n- add const where possible\r\n- use enums to assign values for high getopt options insteaf of\r\n  possibly error-prone manual assignment.  Also documents the\r\n  code better"},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/69566781","html_url":"https://github.com/JuliaLang/julia/pull/9732#issuecomment-69566781","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/9732","id":69566781,"user":{"login":"eschnett","id":213514,"avatar_url":"https://avatars.githubusercontent.com/u/213514?v=3","gravatar_id":"","url":"https://api.github.com/users/eschnett","html_url":"https://github.com/eschnett","followers_url":"https://api.github.com/users/eschnett/followers","following_url":"https://api.github.com/users/eschnett/following{/other_user}","gists_url":"https://api.github.com/users/eschnett/gists{/gist_id}","starred_url":"https://api.github.com/users/eschnett/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eschnett/subscriptions","organizations_url":"https://api.github.com/users/eschnett/orgs","repos_url":"https://api.github.com/users/eschnett/repos","events_url":"https://api.github.com/users/eschnett/events{/privacy}","received_events_url":"https://api.github.com/users/eschnett/received_events","type":"User","site_admin":false},"created_at":"2015-01-12T13:06:43Z","updated_at":"2015-01-12T13:06:43Z","body":"Could you take the text from the commit message and turn it into a comment near the implementation of `jl_egal`? This way, future readers will be much more likely to find the explanation for the \"don't inline this\" behaviour."}}