payload: {"action":"closed","number":3487,"pull_request":{"url":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487","id":321380994,"node_id":"MDExOlB1bGxSZXF1ZXN0MzIxMzgwOTk0","html_url":"https://github.com/CodaProtocol/coda/pull/3487","diff_url":"https://github.com/CodaProtocol/coda/pull/3487.diff","patch_url":"https://github.com/CodaProtocol/coda/pull/3487.patch","issue_url":"https://api.github.com/repos/CodaProtocol/coda/issues/3487","number":3487,"state":"closed","locked":false,"title":"Remove reraise on prover error","user":{"login":"bkase","id":515445,"node_id":"MDQ6VXNlcjUxNTQ0NQ==","avatar_url":"https://avatars1.githubusercontent.com/u/515445?v=4","gravatar_id":"","url":"https://api.github.com/users/bkase","html_url":"https://github.com/bkase","followers_url":"https://api.github.com/users/bkase/followers","following_url":"https://api.github.com/users/bkase/following{/other_user}","gists_url":"https://api.github.com/users/bkase/gists{/gist_id}","starred_url":"https://api.github.com/users/bkase/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bkase/subscriptions","organizations_url":"https://api.github.com/users/bkase/orgs","repos_url":"https://api.github.com/users/bkase/repos","events_url":"https://api.github.com/users/bkase/events{/privacy}","received_events_url":"https://api.github.com/users/bkase/received_events","type":"User","site_admin":false},"body":"","created_at":"2019-09-25T18:30:54Z","updated_at":"2019-09-25T18:38:22Z","closed_at":"2019-09-25T18:38:22Z","merged_at":"2019-09-25T18:38:22Z","merge_commit_sha":"df22c471201244f083cdc39739d664993b1f5fbf","assignee":null,"assignees":[],"requested_reviewers":[{"login":"imeckler","id":1253566,"node_id":"MDQ6VXNlcjEyNTM1NjY=","avatar_url":"https://avatars0.githubusercontent.com/u/1253566?v=4","gravatar_id":"","url":"https://api.github.com/users/imeckler","html_url":"https://github.com/imeckler","followers_url":"https://api.github.com/users/imeckler/followers","following_url":"https://api.github.com/users/imeckler/following{/other_user}","gists_url":"https://api.github.com/users/imeckler/gists{/gist_id}","starred_url":"https://api.github.com/users/imeckler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/imeckler/subscriptions","organizations_url":"https://api.github.com/users/imeckler/orgs","repos_url":"https://api.github.com/users/imeckler/repos","events_url":"https://api.github.com/users/imeckler/events{/privacy}","received_events_url":"https://api.github.com/users/imeckler/received_events","type":"User","site_admin":false},{"login":"nholland94","id":5352803,"node_id":"MDQ6VXNlcjUzNTI4MDM=","avatar_url":"https://avatars3.githubusercontent.com/u/5352803?v=4","gravatar_id":"","url":"https://api.github.com/users/nholland94","html_url":"https://github.com/nholland94","followers_url":"https://api.github.com/users/nholland94/followers","following_url":"https://api.github.com/users/nholland94/following{/other_user}","gists_url":"https://api.github.com/users/nholland94/gists{/gist_id}","starred_url":"https://api.github.com/users/nholland94/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nholland94/subscriptions","organizations_url":"https://api.github.com/users/nholland94/orgs","repos_url":"https://api.github.com/users/nholland94/repos","events_url":"https://api.github.com/users/nholland94/events{/privacy}","received_events_url":"https://api.github.com/users/nholland94/received_events","type":"User","site_admin":false}],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487/commits","review_comments_url":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487/comments","review_comment_url":"https://api.github.com/repos/CodaProtocol/coda/pulls/comments{/number}","comments_url":"https://api.github.com/repos/CodaProtocol/coda/issues/3487/comments","statuses_url":"https://api.github.com/repos/CodaProtocol/coda/statuses/12c194f21bf98b0398a2abaf5d4f1790b436da09","head":{"label":"CodaProtocol:dont-reraise-prover-error","ref":"dont-reraise-prover-error","sha":"12c194f21bf98b0398a2abaf5d4f1790b436da09","user":{"login":"CodaProtocol","id":39103922,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5MTAzOTIy","avatar_url":"https://avatars0.githubusercontent.com/u/39103922?v=4","gravatar_id":"","url":"https://api.github.com/users/CodaProtocol","html_url":"https://github.com/CodaProtocol","followers_url":"https://api.github.com/users/CodaProtocol/followers","following_url":"https://api.github.com/users/CodaProtocol/following{/other_user}","gists_url":"https://api.github.com/users/CodaProtocol/gists{/gist_id}","starred_url":"https://api.github.com/users/CodaProtocol/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CodaProtocol/subscriptions","organizations_url":"https://api.github.com/users/CodaProtocol/orgs","repos_url":"https://api.github.com/users/CodaProtocol/repos","events_url":"https://api.github.com/users/CodaProtocol/events{/privacy}","received_events_url":"https://api.github.com/users/CodaProtocol/received_events","type":"Organization","site_admin":false},"repo":{"id":114581326,"node_id":"MDEwOlJlcG9zaXRvcnkxMTQ1ODEzMjY=","name":"coda","full_name":"CodaProtocol/coda","private":false,"owner":{"login":"CodaProtocol","id":39103922,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5MTAzOTIy","avatar_url":"https://avatars0.githubusercontent.com/u/39103922?v=4","gravatar_id":"","url":"https://api.github.com/users/CodaProtocol","html_url":"https://github.com/CodaProtocol","followers_url":"https://api.github.com/users/CodaProtocol/followers","following_url":"https://api.github.com/users/CodaProtocol/following{/other_user}","gists_url":"https://api.github.com/users/CodaProtocol/gists{/gist_id}","starred_url":"https://api.github.com/users/CodaProtocol/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CodaProtocol/subscriptions","organizations_url":"https://api.github.com/users/CodaProtocol/orgs","repos_url":"https://api.github.com/users/CodaProtocol/repos","events_url":"https://api.github.com/users/CodaProtocol/events{/privacy}","received_events_url":"https://api.github.com/users/CodaProtocol/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/CodaProtocol/coda","description":"Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.","fork":false,"url":"https://api.github.com/repos/CodaProtocol/coda","forks_url":"https://api.github.com/repos/CodaProtocol/coda/forks","keys_url":"https://api.github.com/repos/CodaProtocol/coda/keys{/key_id}","collaborators_url":"https://api.github.com/repos/CodaProtocol/coda/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/CodaProtocol/coda/teams","hooks_url":"https://api.github.com/repos/CodaProtocol/coda/hooks","issue_events_url":"https://api.github.com/repos/CodaProtocol/coda/issues/events{/number}","events_url":"https://api.github.com/repos/CodaProtocol/coda/events","assignees_url":"https://api.github.com/repos/CodaProtocol/coda/assignees{/user}","branches_url":"https://api.github.com/repos/CodaProtocol/coda/branches{/branch}","tags_url":"https://api.github.com/repos/CodaProtocol/coda/tags","blobs_url":"https://api.github.com/repos/CodaProtocol/coda/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/CodaProtocol/coda/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/CodaProtocol/coda/git/refs{/sha}","trees_url":"https://api.github.com/repos/CodaProtocol/coda/git/trees{/sha}","statuses_url":"https://api.github.com/repos/CodaProtocol/coda/statuses/{sha}","languages_url":"https://api.github.com/repos/CodaProtocol/coda/languages","stargazers_url":"https://api.github.com/repos/CodaProtocol/coda/stargazers","contributors_url":"https://api.github.com/repos/CodaProtocol/coda/contributors","subscribers_url":"https://api.github.com/repos/CodaProtocol/coda/subscribers","subscription_url":"https://api.github.com/repos/CodaProtocol/coda/subscription","commits_url":"https://api.github.com/repos/CodaProtocol/coda/commits{/sha}","git_commits_url":"https://api.github.com/repos/CodaProtocol/coda/git/commits{/sha}","comments_url":"https://api.github.com/repos/CodaProtocol/coda/comments{/number}","issue_comment_url":"https://api.github.com/repos/CodaProtocol/coda/issues/comments{/number}","contents_url":"https://api.github.com/repos/CodaProtocol/coda/contents/{+path}","compare_url":"https://api.github.com/repos/CodaProtocol/coda/compare/{base}...{head}","merges_url":"https://api.github.com/repos/CodaProtocol/coda/merges","archive_url":"https://api.github.com/repos/CodaProtocol/coda/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/CodaProtocol/coda/downloads","issues_url":"https://api.github.com/repos/CodaProtocol/coda/issues{/number}","pulls_url":"https://api.github.com/repos/CodaProtocol/coda/pulls{/number}","milestones_url":"https://api.github.com/repos/CodaProtocol/coda/milestones{/number}","notifications_url":"https://api.github.com/repos/CodaProtocol/coda/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/CodaProtocol/coda/labels{/name}","releases_url":"https://api.github.com/repos/CodaProtocol/coda/releases{/id}","deployments_url":"https://api.github.com/repos/CodaProtocol/coda/deployments","created_at":"2017-12-18T01:10:17Z","updated_at":"2019-09-25T18:04:39Z","pushed_at":"2019-09-25T18:38:22Z","git_url":"git://github.com/CodaProtocol/coda.git","ssh_url":"git@github.com:CodaProtocol/coda.git","clone_url":"https://github.com/CodaProtocol/coda.git","svn_url":"https://github.com/CodaProtocol/coda","homepage":"https://codaprotocol.com","size":43336,"stargazers_count":325,"watchers_count":325,"language":"OCaml","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":43,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":496,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"forks":43,"open_issues":496,"watchers":325,"default_branch":"develop"}},"base":{"label":"CodaProtocol:release/0.0.8-beta","ref":"release/0.0.8-beta","sha":"db9ed5c41ed9a49ad15e50a1103cfb62434dd739","user":{"login":"CodaProtocol","id":39103922,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5MTAzOTIy","avatar_url":"https://avatars0.githubusercontent.com/u/39103922?v=4","gravatar_id":"","url":"https://api.github.com/users/CodaProtocol","html_url":"https://github.com/CodaProtocol","followers_url":"https://api.github.com/users/CodaProtocol/followers","following_url":"https://api.github.com/users/CodaProtocol/following{/other_user}","gists_url":"https://api.github.com/users/CodaProtocol/gists{/gist_id}","starred_url":"https://api.github.com/users/CodaProtocol/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CodaProtocol/subscriptions","organizations_url":"https://api.github.com/users/CodaProtocol/orgs","repos_url":"https://api.github.com/users/CodaProtocol/repos","events_url":"https://api.github.com/users/CodaProtocol/events{/privacy}","received_events_url":"https://api.github.com/users/CodaProtocol/received_events","type":"Organization","site_admin":false},"repo":{"id":114581326,"node_id":"MDEwOlJlcG9zaXRvcnkxMTQ1ODEzMjY=","name":"coda","full_name":"CodaProtocol/coda","private":false,"owner":{"login":"CodaProtocol","id":39103922,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5MTAzOTIy","avatar_url":"https://avatars0.githubusercontent.com/u/39103922?v=4","gravatar_id":"","url":"https://api.github.com/users/CodaProtocol","html_url":"https://github.com/CodaProtocol","followers_url":"https://api.github.com/users/CodaProtocol/followers","following_url":"https://api.github.com/users/CodaProtocol/following{/other_user}","gists_url":"https://api.github.com/users/CodaProtocol/gists{/gist_id}","starred_url":"https://api.github.com/users/CodaProtocol/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CodaProtocol/subscriptions","organizations_url":"https://api.github.com/users/CodaProtocol/orgs","repos_url":"https://api.github.com/users/CodaProtocol/repos","events_url":"https://api.github.com/users/CodaProtocol/events{/privacy}","received_events_url":"https://api.github.com/users/CodaProtocol/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/CodaProtocol/coda","description":"Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.","fork":false,"url":"https://api.github.com/repos/CodaProtocol/coda","forks_url":"https://api.github.com/repos/CodaProtocol/coda/forks","keys_url":"https://api.github.com/repos/CodaProtocol/coda/keys{/key_id}","collaborators_url":"https://api.github.com/repos/CodaProtocol/coda/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/CodaProtocol/coda/teams","hooks_url":"https://api.github.com/repos/CodaProtocol/coda/hooks","issue_events_url":"https://api.github.com/repos/CodaProtocol/coda/issues/events{/number}","events_url":"https://api.github.com/repos/CodaProtocol/coda/events","assignees_url":"https://api.github.com/repos/CodaProtocol/coda/assignees{/user}","branches_url":"https://api.github.com/repos/CodaProtocol/coda/branches{/branch}","tags_url":"https://api.github.com/repos/CodaProtocol/coda/tags","blobs_url":"https://api.github.com/repos/CodaProtocol/coda/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/CodaProtocol/coda/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/CodaProtocol/coda/git/refs{/sha}","trees_url":"https://api.github.com/repos/CodaProtocol/coda/git/trees{/sha}","statuses_url":"https://api.github.com/repos/CodaProtocol/coda/statuses/{sha}","languages_url":"https://api.github.com/repos/CodaProtocol/coda/languages","stargazers_url":"https://api.github.com/repos/CodaProtocol/coda/stargazers","contributors_url":"https://api.github.com/repos/CodaProtocol/coda/contributors","subscribers_url":"https://api.github.com/repos/CodaProtocol/coda/subscribers","subscription_url":"https://api.github.com/repos/CodaProtocol/coda/subscription","commits_url":"https://api.github.com/repos/CodaProtocol/coda/commits{/sha}","git_commits_url":"https://api.github.com/repos/CodaProtocol/coda/git/commits{/sha}","comments_url":"https://api.github.com/repos/CodaProtocol/coda/comments{/number}","issue_comment_url":"https://api.github.com/repos/CodaProtocol/coda/issues/comments{/number}","contents_url":"https://api.github.com/repos/CodaProtocol/coda/contents/{+path}","compare_url":"https://api.github.com/repos/CodaProtocol/coda/compare/{base}...{head}","merges_url":"https://api.github.com/repos/CodaProtocol/coda/merges","archive_url":"https://api.github.com/repos/CodaProtocol/coda/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/CodaProtocol/coda/downloads","issues_url":"https://api.github.com/repos/CodaProtocol/coda/issues{/number}","pulls_url":"https://api.github.com/repos/CodaProtocol/coda/pulls{/number}","milestones_url":"https://api.github.com/repos/CodaProtocol/coda/milestones{/number}","notifications_url":"https://api.github.com/repos/CodaProtocol/coda/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/CodaProtocol/coda/labels{/name}","releases_url":"https://api.github.com/repos/CodaProtocol/coda/releases{/id}","deployments_url":"https://api.github.com/repos/CodaProtocol/coda/deployments","created_at":"2017-12-18T01:10:17Z","updated_at":"2019-09-25T18:04:39Z","pushed_at":"2019-09-25T18:38:22Z","git_url":"git://github.com/CodaProtocol/coda.git","ssh_url":"git@github.com:CodaProtocol/coda.git","clone_url":"https://github.com/CodaProtocol/coda.git","svn_url":"https://github.com/CodaProtocol/coda","homepage":"https://codaprotocol.com","size":43336,"stargazers_count":325,"watchers_count":325,"language":"OCaml","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":43,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":496,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"forks":43,"open_issues":496,"watchers":325,"default_branch":"develop"}},"_links":{"self":{"href":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487"},"html":{"href":"https://github.com/CodaProtocol/coda/pull/3487"},"issue":{"href":"https://api.github.com/repos/CodaProtocol/coda/issues/3487"},"comments":{"href":"https://api.github.com/repos/CodaProtocol/coda/issues/3487/comments"},"review_comments":{"href":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487/comments"},"review_comment":{"href":"https://api.github.com/repos/CodaProtocol/coda/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/CodaProtocol/coda/pulls/3487/commits"},"statuses":{"href":"https://api.github.com/repos/CodaProtocol/coda/statuses/12c194f21bf98b0398a2abaf5d4f1790b436da09"}},"author_association":"CONTRIBUTOR","merged":true,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":{"login":"bkase","id":515445,"node_id":"MDQ6VXNlcjUxNTQ0NQ==","avatar_url":"https://avatars1.githubusercontent.com/u/515445?v=4","gravatar_id":"","url":"https://api.github.com/users/bkase","html_url":"https://github.com/bkase","followers_url":"https://api.github.com/users/bkase/followers","following_url":"https://api.github.com/users/bkase/following{/other_user}","gists_url":"https://api.github.com/users/bkase/gists{/gist_id}","starred_url":"https://api.github.com/users/bkase/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bkase/subscriptions","organizations_url":"https://api.github.com/users/bkase/orgs","repos_url":"https://api.github.com/users/bkase/repos","events_url":"https://api.github.com/users/bkase/events{/privacy}","received_events_url":"https://api.github.com/users/bkase/received_events","type":"User","site_admin":false},"comments":0,"review_comments":0,"maintainer_can_modify":false,"commits":1,"additions":1,"deletions":1,"changed_files":1}}
other: {"actor":{"display_login":"bkase"}}