{"action":"created","issue":{"url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/475","repository_url":"https://api.github.com/repos/idris-hackers/idris-mode","labels_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/475/labels{/name}","comments_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/475/comments","events_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/475/events","html_url":"https://github.com/idris-hackers/idris-mode/issues/475","id":298490251,"node_id":"MDU6SXNzdWUyOTg0OTAyNTE=","number":475,"title":"Cannot load idris","user":{"login":"colin-adams","id":123895,"node_id":"MDQ6VXNlcjEyMzg5NQ==","avatar_url":"https://avatars3.githubusercontent.com/u/123895?v=4","gravatar_id":"","url":"https://api.github.com/users/colin-adams","html_url":"https://github.com/colin-adams","followers_url":"https://api.github.com/users/colin-adams/followers","following_url":"https://api.github.com/users/colin-adams/following{/other_user}","gists_url":"https://api.github.com/users/colin-adams/gists{/gist_id}","starred_url":"https://api.github.com/users/colin-adams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/colin-adams/subscriptions","organizations_url":"https://api.github.com/users/colin-adams/orgs","repos_url":"https://api.github.com/users/colin-adams/repos","events_url":"https://api.github.com/users/colin-adams/events{/privacy}","received_events_url":"https://api.github.com/users/colin-adams/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-02-20T07:00:26Z","updated_at":"2018-09-06T17:32:41Z","closed_at":null,"author_association":"NONE","body":"Idris - latest git version\r\nidris-mode - freshly installed from melpa with a brand-new .emacs and .emacs.d\r\n\r\n.emacs contains:\r\n\r\n '(idris-mode-hook\r\n   (quote\r\n    (turn-on-idris-simple-indent turn-on-eldoc-mode column-number-mode)))\r\n '(package-selected-packages (quote (idris-mode))))\r\n\r\nOpening a .idr file puts the buffer into mode Idris (Not loaded)\r\n\r\nPressing C-c C-l results in message:\r\nBuffer *idris-repl* has no process\r\n"},"comment":{"url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/comments/419178050","html_url":"https://github.com/idris-hackers/idris-mode/issues/475#issuecomment-419178050","issue_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/475","id":419178050,"node_id":"MDEyOklzc3VlQ29tbWVudDQxOTE3ODA1MA==","user":{"login":"jsoo1","id":10039785,"node_id":"MDQ6VXNlcjEwMDM5Nzg1","avatar_url":"https://avatars2.githubusercontent.com/u/10039785?v=4","gravatar_id":"","url":"https://api.github.com/users/jsoo1","html_url":"https://github.com/jsoo1","followers_url":"https://api.github.com/users/jsoo1/followers","following_url":"https://api.github.com/users/jsoo1/following{/other_user}","gists_url":"https://api.github.com/users/jsoo1/gists{/gist_id}","starred_url":"https://api.github.com/users/jsoo1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jsoo1/subscriptions","organizations_url":"https://api.github.com/users/jsoo1/orgs","repos_url":"https://api.github.com/users/jsoo1/repos","events_url":"https://api.github.com/users/jsoo1/events{/privacy}","received_events_url":"https://api.github.com/users/jsoo1/received_events","type":"User","site_admin":false},"created_at":"2018-09-06T17:32:41Z","updated_at":"2018-09-06T17:32:41Z","author_association":"NONE","body":"Hmmm. I think I was experiencing #460 but I still like the UX improvement of moving the message to an idris buffer."}}
{"actor":{"display_login":"jsoo1"}}