{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/vscode-lean/issues/77","repository_url":"https://api.github.com/repos/leanprover/vscode-lean","labels_url":"https://api.github.com/repos/leanprover/vscode-lean/issues/77/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/vscode-lean/issues/77/comments","events_url":"https://api.github.com/repos/leanprover/vscode-lean/issues/77/events","html_url":"https://github.com/leanprover/vscode-lean/issues/77","id":344394097,"node_id":"MDU6SXNzdWUzNDQzOTQwOTc=","number":77,"title":"ctrl+shift+enter opens current file on the side","user":{"login":"gebner","id":313929,"node_id":"MDQ6VXNlcjMxMzkyOQ==","avatar_url":"https://avatars1.githubusercontent.com/u/313929?v=4","gravatar_id":"","url":"https://api.github.com/users/gebner","html_url":"https://github.com/gebner","followers_url":"https://api.github.com/users/gebner/followers","following_url":"https://api.github.com/users/gebner/following{/other_user}","gists_url":"https://api.github.com/users/gebner/gists{/gist_id}","starred_url":"https://api.github.com/users/gebner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gebner/subscriptions","organizations_url":"https://api.github.com/users/gebner/orgs","repos_url":"https://api.github.com/users/gebner/repos","events_url":"https://api.github.com/users/gebner/events{/privacy}","received_events_url":"https://api.github.com/users/gebner/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-07-25T10:54:52Z","updated_at":"2018-07-25T12:08:33Z","closed_at":"2018-07-25T12:00:37Z","author_association":"MEMBER","body":"https://leanprover.zulipchat.com/#narrow/stream/113488-general/subject/VScode.20extension/near/130267754"},"comment":{"url":"https://api.github.com/repos/leanprover/vscode-lean/issues/comments/407732433","html_url":"https://github.com/leanprover/vscode-lean/issues/77#issuecomment-407732433","issue_url":"https://api.github.com/repos/leanprover/vscode-lean/issues/77","id":407732433,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNzczMjQzMw==","user":{"login":"johoelzl","id":5176109,"node_id":"MDQ6VXNlcjUxNzYxMDk=","avatar_url":"https://avatars0.githubusercontent.com/u/5176109?v=4","gravatar_id":"","url":"https://api.github.com/users/johoelzl","html_url":"https://github.com/johoelzl","followers_url":"https://api.github.com/users/johoelzl/followers","following_url":"https://api.github.com/users/johoelzl/following{/other_user}","gists_url":"https://api.github.com/users/johoelzl/gists{/gist_id}","starred_url":"https://api.github.com/users/johoelzl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/johoelzl/subscriptions","organizations_url":"https://api.github.com/users/johoelzl/orgs","repos_url":"https://api.github.com/users/johoelzl/repos","events_url":"https://api.github.com/users/johoelzl/events{/privacy}","received_events_url":"https://api.github.com/users/johoelzl/received_events","type":"User","site_admin":false},"created_at":"2018-07-25T12:08:33Z","updated_at":"2018-07-25T12:08:33Z","author_association":"CONTRIBUTOR","body":"Well, If the change to webview panel is enough, that's fine too.\r\nAs far as I understand there are no other big changes associated with this?"}}
{"actor":{"display_login":"johoelzl"}}