{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/lean/issues/407","labels_url":"https://api.github.com/repos/leanprover/lean/issues/407/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/lean/issues/407/comments","events_url":"https://api.github.com/repos/leanprover/lean/issues/407/events","html_url":"https://github.com/leanprover/lean/issues/407","id":55305107,"number":407,"title":"make install does not configure emacs","user":{"login":"EgbertRijke","id":1252282,"avatar_url":"https://avatars.githubusercontent.com/u/1252282?v=3","gravatar_id":"","url":"https://api.github.com/users/EgbertRijke","html_url":"https://github.com/EgbertRijke","followers_url":"https://api.github.com/users/EgbertRijke/followers","following_url":"https://api.github.com/users/EgbertRijke/following{/other_user}","gists_url":"https://api.github.com/users/EgbertRijke/gists{/gist_id}","starred_url":"https://api.github.com/users/EgbertRijke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/EgbertRijke/subscriptions","organizations_url":"https://api.github.com/users/EgbertRijke/orgs","repos_url":"https://api.github.com/users/EgbertRijke/repos","events_url":"https://api.github.com/users/EgbertRijke/events{/privacy}","received_events_url":"https://api.github.com/users/EgbertRijke/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/leanprover/lean/labels/emacs","name":"emacs","color":"eb6420"}],"state":"closed","locked":false,"assignee":{"login":"soonhokong","id":403281,"avatar_url":"https://avatars.githubusercontent.com/u/403281?v=3","gravatar_id":"","url":"https://api.github.com/users/soonhokong","html_url":"https://github.com/soonhokong","followers_url":"https://api.github.com/users/soonhokong/followers","following_url":"https://api.github.com/users/soonhokong/following{/other_user}","gists_url":"https://api.github.com/users/soonhokong/gists{/gist_id}","starred_url":"https://api.github.com/users/soonhokong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonhokong/subscriptions","organizations_url":"https://api.github.com/users/soonhokong/orgs","repos_url":"https://api.github.com/users/soonhokong/repos","events_url":"https://api.github.com/users/soonhokong/events{/privacy}","received_events_url":"https://api.github.com/users/soonhokong/received_events","type":"User","site_admin":false},"milestone":null,"comments":6,"created_at":"2015-01-23T16:58:13Z","updated_at":"2015-01-24T02:33:48Z","closed_at":"2015-01-24T02:33:48Z","body":"emacs mode doesn't load after following the installation instructions. I'm on a ubuntu 14.10 machine."},"comment":{"url":"https://api.github.com/repos/leanprover/lean/issues/comments/71296654","html_url":"https://github.com/leanprover/lean/issues/407#issuecomment-71296654","issue_url":"https://api.github.com/repos/leanprover/lean/issues/407","id":71296654,"user":{"login":"soonhokong","id":403281,"avatar_url":"https://avatars.githubusercontent.com/u/403281?v=3","gravatar_id":"","url":"https://api.github.com/users/soonhokong","html_url":"https://github.com/soonhokong","followers_url":"https://api.github.com/users/soonhokong/followers","following_url":"https://api.github.com/users/soonhokong/following{/other_user}","gists_url":"https://api.github.com/users/soonhokong/gists{/gist_id}","starred_url":"https://api.github.com/users/soonhokong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonhokong/subscriptions","organizations_url":"https://api.github.com/users/soonhokong/orgs","repos_url":"https://api.github.com/users/soonhokong/repos","events_url":"https://api.github.com/users/soonhokong/events{/privacy}","received_events_url":"https://api.github.com/users/soonhokong/received_events","type":"User","site_admin":false},"created_at":"2015-01-24T02:33:48Z","updated_at":"2015-01-24T02:33:48Z","body":"@EgbertRijke told me today that he doesn't have the problem any more. So let me close this one.\r\n\r\n@EgbertRijke, it would be great if you describe the problem and the solution that you applied (if it's easy to remember it)."}}