{"action":"opened","issue":{"url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/issues/19","repository_url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny","labels_url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/issues/19/comments","events_url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/issues/19/events","html_url":"https://github.com/LonMcGregor/VS-Code-Language-Server-for-Dafny/issues/19","id":326125931,"number":19,"title":"Stop duplicate errors","user":{"login":"LonMcGregor","id":3817332,"avatar_url":"https://avatars3.githubusercontent.com/u/3817332?v=4","gravatar_id":"","url":"https://api.github.com/users/LonMcGregor","html_url":"https://github.com/LonMcGregor","followers_url":"https://api.github.com/users/LonMcGregor/followers","following_url":"https://api.github.com/users/LonMcGregor/following{/other_user}","gists_url":"https://api.github.com/users/LonMcGregor/gists{/gist_id}","starred_url":"https://api.github.com/users/LonMcGregor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LonMcGregor/subscriptions","organizations_url":"https://api.github.com/users/LonMcGregor/orgs","repos_url":"https://api.github.com/users/LonMcGregor/repos","events_url":"https://api.github.com/users/LonMcGregor/events{/privacy}","received_events_url":"https://api.github.com/users/LonMcGregor/received_events","type":"User","site_admin":false},"labels":[{"id":889930388,"url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/labels/bug","name":"bug","color":"d73a4a","default":true},{"id":904766757,"url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/labels/vscode","name":"vscode","color":"0052aa","default":false}],"state":"open","locked":false,"assignee":{"login":"LonMcGregor","id":3817332,"avatar_url":"https://avatars3.githubusercontent.com/u/3817332?v=4","gravatar_id":"","url":"https://api.github.com/users/LonMcGregor","html_url":"https://github.com/LonMcGregor","followers_url":"https://api.github.com/users/LonMcGregor/followers","following_url":"https://api.github.com/users/LonMcGregor/following{/other_user}","gists_url":"https://api.github.com/users/LonMcGregor/gists{/gist_id}","starred_url":"https://api.github.com/users/LonMcGregor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LonMcGregor/subscriptions","organizations_url":"https://api.github.com/users/LonMcGregor/orgs","repos_url":"https://api.github.com/users/LonMcGregor/repos","events_url":"https://api.github.com/users/LonMcGregor/events{/privacy}","received_events_url":"https://api.github.com/users/LonMcGregor/received_events","type":"User","site_admin":false},"assignees":[{"login":"LonMcGregor","id":3817332,"avatar_url":"https://avatars3.githubusercontent.com/u/3817332?v=4","gravatar_id":"","url":"https://api.github.com/users/LonMcGregor","html_url":"https://github.com/LonMcGregor","followers_url":"https://api.github.com/users/LonMcGregor/followers","following_url":"https://api.github.com/users/LonMcGregor/following{/other_user}","gists_url":"https://api.github.com/users/LonMcGregor/gists{/gist_id}","starred_url":"https://api.github.com/users/LonMcGregor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LonMcGregor/subscriptions","organizations_url":"https://api.github.com/users/LonMcGregor/orgs","repos_url":"https://api.github.com/users/LonMcGregor/repos","events_url":"https://api.github.com/users/LonMcGregor/events{/privacy}","received_events_url":"https://api.github.com/users/LonMcGregor/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/milestones/2","html_url":"https://github.com/LonMcGregor/VS-Code-Language-Server-for-Dafny/milestone/2","labels_url":"https://api.github.com/repos/LonMcGregor/VS-Code-Language-Server-for-Dafny/milestones/2/labels","id":3273697,"number":2,"title":"Tactics","description":"Everything is complete to allow for tactics integration","creator":{"login":"LonMcGregor","id":3817332,"avatar_url":"https://avatars3.githubusercontent.com/u/3817332?v=4","gravatar_id":"","url":"https://api.github.com/users/LonMcGregor","html_url":"https://github.com/LonMcGregor","followers_url":"https://api.github.com/users/LonMcGregor/followers","following_url":"https://api.github.com/users/LonMcGregor/following{/other_user}","gists_url":"https://api.github.com/users/LonMcGregor/gists{/gist_id}","starred_url":"https://api.github.com/users/LonMcGregor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LonMcGregor/subscriptions","organizations_url":"https://api.github.com/users/LonMcGregor/orgs","repos_url":"https://api.github.com/users/LonMcGregor/repos","events_url":"https://api.github.com/users/LonMcGregor/events{/privacy}","received_events_url":"https://api.github.com/users/LonMcGregor/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":4,"state":"open","created_at":"2018-04-17T12:53:21Z","updated_at":"2018-05-24T13:37:40Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2018-05-24T13:37:40Z","updated_at":"2018-05-24T13:37:40Z","closed_at":null,"author_association":"OWNER","body":"Tactics seems to produce duplicate errors in the same place. We should remove those."}}
{"actor":{"display_login":"LonMcGregor"}}