{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/1711","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/1711/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/1711/comments","events_url":"https://api.github.com/repos/agda/agda/issues/1711/events","html_url":"https://github.com/agda/agda/issues/1711","id":115120476,"number":1711,"title":"Emacs mode: <TAB><TAB> should give function skeleton like haskell-mode does","user":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars3.githubusercontent.com/u/1155218?v=4","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"labels":[{"id":245647344,"url":"https://api.github.com/repos/agda/agda/labels/emacs","name":"emacs","color":"ededed","default":false},{"id":245647346,"url":"https://api.github.com/repos/agda/agda/labels/type:%20enhancement","name":"type: enhancement","color":"84b6eb","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2015-11-04T18:44:33Z","updated_at":"2018-05-25T10:33:23Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"If I typed\n\n``` agda\nbla : type-of-bla\n\n```\n\nand press C-i C-i in the line below this type-signature, I'd like to see\n\n``` agda\nbla : type-of-bla\nbla = ?\n```\n"},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/392012685","html_url":"https://github.com/agda/agda/issues/1711#issuecomment-392012685","issue_url":"https://api.github.com/repos/agda/agda/issues/1711","id":392012685,"user":{"login":"nad","id":293222,"avatar_url":"https://avatars0.githubusercontent.com/u/293222?v=4","gravatar_id":"","url":"https://api.github.com/users/nad","html_url":"https://github.com/nad","followers_url":"https://api.github.com/users/nad/followers","following_url":"https://api.github.com/users/nad/following{/other_user}","gists_url":"https://api.github.com/users/nad/gists{/gist_id}","starred_url":"https://api.github.com/users/nad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nad/subscriptions","organizations_url":"https://api.github.com/users/nad/orgs","repos_url":"https://api.github.com/users/nad/repos","events_url":"https://api.github.com/users/nad/events{/privacy}","received_events_url":"https://api.github.com/users/nad/received_events","type":"User","site_admin":false},"created_at":"2018-05-25T10:33:23Z","updated_at":"2018-05-25T10:33:23Z","author_association":"CONTRIBUTOR","body":"Can we close this ticket?"}}
{"actor":{"display_login":"nad"}}