payload: {"action":"created","issue":{"url":"https://api.github.com/repos/dafny-lang/dafny/issues/361","repository_url":"https://api.github.com/repos/dafny-lang/dafny","labels_url":"https://api.github.com/repos/dafny-lang/dafny/issues/361/labels{/name}","comments_url":"https://api.github.com/repos/dafny-lang/dafny/issues/361/comments","events_url":"https://api.github.com/repos/dafny-lang/dafny/issues/361/events","html_url":"https://github.com/dafny-lang/dafny/pull/361","id":483720995,"node_id":"MDExOlB1bGxSZXF1ZXN0MzA5NzQzODk3","number":361,"title":"[do not merge] Exceptions2","user":{"login":"samuelgruetter","id":2394355,"node_id":"MDQ6VXNlcjIzOTQzNTU=","avatar_url":"https://avatars2.githubusercontent.com/u/2394355?v=4","gravatar_id":"","url":"https://api.github.com/users/samuelgruetter","html_url":"https://github.com/samuelgruetter","followers_url":"https://api.github.com/users/samuelgruetter/followers","following_url":"https://api.github.com/users/samuelgruetter/following{/other_user}","gists_url":"https://api.github.com/users/samuelgruetter/gists{/gist_id}","starred_url":"https://api.github.com/users/samuelgruetter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samuelgruetter/subscriptions","organizations_url":"https://api.github.com/users/samuelgruetter/orgs","repos_url":"https://api.github.com/users/samuelgruetter/repos","events_url":"https://api.github.com/users/samuelgruetter/events{/privacy}","received_events_url":"https://api.github.com/users/samuelgruetter/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2019-08-22T01:21:04Z","updated_at":"2019-08-22T18:33:23Z","closed_at":null,"author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/dafny-lang/dafny/pulls/361","html_url":"https://github.com/dafny-lang/dafny/pull/361","diff_url":"https://github.com/dafny-lang/dafny/pull/361.diff","patch_url":"https://github.com/dafny-lang/dafny/pull/361.patch"},"body":"A more reviewable version of https://github.com/dafny-lang/dafny/pull/348.\r\nStill work in progress.\r\nOnce https://github.com/dafny-lang/dafny/pull/360 is merged (or closed, doesn't matter for Exceptions), I will rebase this.\r\nSo far, I think I have everything for `:-` on statement level, as well as parsing for `:-` on expression level, but desugaring and testing for `:-` on expression level is still missing."},"comment":{"url":"https://api.github.com/repos/dafny-lang/dafny/issues/comments/524024909","html_url":"https://github.com/dafny-lang/dafny/pull/361#issuecomment-524024909","issue_url":"https://api.github.com/repos/dafny-lang/dafny/issues/361","id":524024909,"node_id":"MDEyOklzc3VlQ29tbWVudDUyNDAyNDkwOQ==","user":{"login":"RustanLeino","id":11763367,"node_id":"MDQ6VXNlcjExNzYzMzY3","avatar_url":"https://avatars3.githubusercontent.com/u/11763367?v=4","gravatar_id":"","url":"https://api.github.com/users/RustanLeino","html_url":"https://github.com/RustanLeino","followers_url":"https://api.github.com/users/RustanLeino/followers","following_url":"https://api.github.com/users/RustanLeino/following{/other_user}","gists_url":"https://api.github.com/users/RustanLeino/gists{/gist_id}","starred_url":"https://api.github.com/users/RustanLeino/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RustanLeino/subscriptions","organizations_url":"https://api.github.com/users/RustanLeino/orgs","repos_url":"https://api.github.com/users/RustanLeino/repos","events_url":"https://api.github.com/users/RustanLeino/events{/privacy}","received_events_url":"https://api.github.com/users/RustanLeino/received_events","type":"User","site_admin":false},"created_at":"2019-08-22T18:33:23Z","updated_at":"2019-08-22T18:33:23Z","author_association":"COLLABORATOR","body":"You asked about preserving the four commits. I think either way is fine, so do what's easiest for you."}}
other: {"actor":{"display_login":"RustanLeino"}}