payload: {"action":"created","comment":{"url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/comments/305808386","pull_request_review_id":264768462,"id":305808386,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDMwNTgwODM4Ng==","diff_hunk":"@@ -16,10 +16,18 @@\n \n try {\n     // try to get the state\n+    /** @var array $state */\n     $state = \\SimpleSAML\\Auth\\State::loadState($_REQUEST['AuthState'], 'saml:proxy:invalid_idp');\n+    if ($state === null) {\n+        throw new \\SimpleSAML\\Error\\NoState();\n+    }\n } catch (\\Exception $e) {\n     // the user probably hit the back button after starting the logout, try to recover the state with another stage\n+    /** @var array $state */\n     $state = \\SimpleSAML\\Auth\\State::loadState($_REQUEST['AuthState'], 'core:Logout:afterbridge');\n+    if ($state === null) {\n+        throw new \\SimpleSAML\\Error\\NoState();\n+    }","path":"modules/saml/www/proxy/invalid_session.php","position":15,"original_position":15,"commit_id":"03dcfa35fca0d7377673c4aa82c7e118719694c0","original_commit_id":"03dcfa35fca0d7377673c4aa82c7e118719694c0","user":{"login":"jaimeperez","id":1942728,"node_id":"MDQ6VXNlcjE5NDI3Mjg=","avatar_url":"https://avatars0.githubusercontent.com/u/1942728?v=4","gravatar_id":"","url":"https://api.github.com/users/jaimeperez","html_url":"https://github.com/jaimeperez","followers_url":"https://api.github.com/users/jaimeperez/followers","following_url":"https://api.github.com/users/jaimeperez/following{/other_user}","gists_url":"https://api.github.com/users/jaimeperez/gists{/gist_id}","starred_url":"https://api.github.com/users/jaimeperez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaimeperez/subscriptions","organizations_url":"https://api.github.com/users/jaimeperez/orgs","repos_url":"https://api.github.com/users/jaimeperez/repos","events_url":"https://api.github.com/users/jaimeperez/events{/privacy}","received_events_url":"https://api.github.com/users/jaimeperez/received_events","type":"User","site_admin":false},"body":"That's true, psalm should be smart enough to notice that...","created_at":"2019-07-22T12:05:05Z","updated_at":"2019-07-22T12:05:05Z","html_url":"https://github.com/simplesamlphp/simplesamlphp/pull/1159#discussion_r305808386","pull_request_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159","author_association":"MEMBER","_links":{"self":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/comments/305808386"},"html":{"href":"https://github.com/simplesamlphp/simplesamlphp/pull/1159#discussion_r305808386"},"pull_request":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159"}},"in_reply_to_id":305764237},"pull_request":{"url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159","id":295069293,"node_id":"MDExOlB1bGxSZXF1ZXN0Mjk1MDY5Mjkz","html_url":"https://github.com/simplesamlphp/simplesamlphp/pull/1159","diff_url":"https://github.com/simplesamlphp/simplesamlphp/pull/1159.diff","patch_url":"https://github.com/simplesamlphp/simplesamlphp/pull/1159.patch","issue_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/1159","number":1159,"state":"open","locked":false,"title":"Fix Psalm-issues batch #2","user":{"login":"tvdijen","id":841045,"node_id":"MDQ6VXNlcjg0MTA0NQ==","avatar_url":"https://avatars3.githubusercontent.com/u/841045?v=4","gravatar_id":"","url":"https://api.github.com/users/tvdijen","html_url":"https://github.com/tvdijen","followers_url":"https://api.github.com/users/tvdijen/followers","following_url":"https://api.github.com/users/tvdijen/following{/other_user}","gists_url":"https://api.github.com/users/tvdijen/gists{/gist_id}","starred_url":"https://api.github.com/users/tvdijen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tvdijen/subscriptions","organizations_url":"https://api.github.com/users/tvdijen/orgs","repos_url":"https://api.github.com/users/tvdijen/repos","events_url":"https://api.github.com/users/tvdijen/events{/privacy}","received_events_url":"https://api.github.com/users/tvdijen/received_events","type":"User","site_admin":false},"body":"Fixes all Psalm-issues in all subdirs under `modules/`.","created_at":"2019-07-06T23:59:48Z","updated_at":"2019-07-22T12:05:05Z","closed_at":null,"merged_at":null,"merge_commit_sha":"9e4f83e1010a76ea30d2c1921b448b9b3171ff46","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159/commits","review_comments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159/comments","review_comment_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/comments{/number}","comments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/1159/comments","statuses_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/statuses/03dcfa35fca0d7377673c4aa82c7e118719694c0","head":{"label":"simplesamlphp:psalm-modules","ref":"psalm-modules","sha":"03dcfa35fca0d7377673c4aa82c7e118719694c0","user":{"login":"simplesamlphp","id":5774640,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU3NzQ2NDA=","avatar_url":"https://avatars3.githubusercontent.com/u/5774640?v=4","gravatar_id":"","url":"https://api.github.com/users/simplesamlphp","html_url":"https://github.com/simplesamlphp","followers_url":"https://api.github.com/users/simplesamlphp/followers","following_url":"https://api.github.com/users/simplesamlphp/following{/other_user}","gists_url":"https://api.github.com/users/simplesamlphp/gists{/gist_id}","starred_url":"https://api.github.com/users/simplesamlphp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simplesamlphp/subscriptions","organizations_url":"https://api.github.com/users/simplesamlphp/orgs","repos_url":"https://api.github.com/users/simplesamlphp/repos","events_url":"https://api.github.com/users/simplesamlphp/events{/privacy}","received_events_url":"https://api.github.com/users/simplesamlphp/received_events","type":"Organization","site_admin":false},"repo":{"id":17167136,"node_id":"MDEwOlJlcG9zaXRvcnkxNzE2NzEzNg==","name":"simplesamlphp","full_name":"simplesamlphp/simplesamlphp","private":false,"owner":{"login":"simplesamlphp","id":5774640,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU3NzQ2NDA=","avatar_url":"https://avatars3.githubusercontent.com/u/5774640?v=4","gravatar_id":"","url":"https://api.github.com/users/simplesamlphp","html_url":"https://github.com/simplesamlphp","followers_url":"https://api.github.com/users/simplesamlphp/followers","following_url":"https://api.github.com/users/simplesamlphp/following{/other_user}","gists_url":"https://api.github.com/users/simplesamlphp/gists{/gist_id}","starred_url":"https://api.github.com/users/simplesamlphp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simplesamlphp/subscriptions","organizations_url":"https://api.github.com/users/simplesamlphp/orgs","repos_url":"https://api.github.com/users/simplesamlphp/repos","events_url":"https://api.github.com/users/simplesamlphp/events{/privacy}","received_events_url":"https://api.github.com/users/simplesamlphp/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/simplesamlphp/simplesamlphp","description":"SimpleSAMLphp is an award-winning application written in native PHP that deals with authentication.","fork":false,"url":"https://api.github.com/repos/simplesamlphp/simplesamlphp","forks_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/forks","keys_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/keys{/key_id}","collaborators_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/teams","hooks_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/hooks","issue_events_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/events{/number}","events_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/events","assignees_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/assignees{/user}","branches_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/branches{/branch}","tags_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/tags","blobs_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/refs{/sha}","trees_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/trees{/sha}","statuses_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/statuses/{sha}","languages_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/languages","stargazers_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/stargazers","contributors_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/contributors","subscribers_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/subscribers","subscription_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/subscription","commits_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/commits{/sha}","git_commits_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/commits{/sha}","comments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/comments{/number}","issue_comment_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/comments{/number}","contents_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/contents/{+path}","compare_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/compare/{base}...{head}","merges_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/merges","archive_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/downloads","issues_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues{/number}","pulls_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls{/number}","milestones_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/milestones{/number}","notifications_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/labels{/name}","releases_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/releases{/id}","deployments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/deployments","created_at":"2014-02-25T09:01:45Z","updated_at":"2019-07-22T11:24:18Z","pushed_at":"2019-07-22T11:24:14Z","git_url":"git://github.com/simplesamlphp/simplesamlphp.git","ssh_url":"git@github.com:simplesamlphp/simplesamlphp.git","clone_url":"https://github.com/simplesamlphp/simplesamlphp.git","svn_url":"https://github.com/simplesamlphp/simplesamlphp","homepage":"https://simplesamlphp.org","size":20561,"stargazers_count":666,"watchers_count":666,"language":"PHP","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":481,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":100,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":481,"open_issues":100,"watchers":666,"default_branch":"master"}},"base":{"label":"simplesamlphp:master","ref":"master","sha":"2aae34eba7b52b13608c893db363d10c926a6192","user":{"login":"simplesamlphp","id":5774640,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU3NzQ2NDA=","avatar_url":"https://avatars3.githubusercontent.com/u/5774640?v=4","gravatar_id":"","url":"https://api.github.com/users/simplesamlphp","html_url":"https://github.com/simplesamlphp","followers_url":"https://api.github.com/users/simplesamlphp/followers","following_url":"https://api.github.com/users/simplesamlphp/following{/other_user}","gists_url":"https://api.github.com/users/simplesamlphp/gists{/gist_id}","starred_url":"https://api.github.com/users/simplesamlphp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simplesamlphp/subscriptions","organizations_url":"https://api.github.com/users/simplesamlphp/orgs","repos_url":"https://api.github.com/users/simplesamlphp/repos","events_url":"https://api.github.com/users/simplesamlphp/events{/privacy}","received_events_url":"https://api.github.com/users/simplesamlphp/received_events","type":"Organization","site_admin":false},"repo":{"id":17167136,"node_id":"MDEwOlJlcG9zaXRvcnkxNzE2NzEzNg==","name":"simplesamlphp","full_name":"simplesamlphp/simplesamlphp","private":false,"owner":{"login":"simplesamlphp","id":5774640,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU3NzQ2NDA=","avatar_url":"https://avatars3.githubusercontent.com/u/5774640?v=4","gravatar_id":"","url":"https://api.github.com/users/simplesamlphp","html_url":"https://github.com/simplesamlphp","followers_url":"https://api.github.com/users/simplesamlphp/followers","following_url":"https://api.github.com/users/simplesamlphp/following{/other_user}","gists_url":"https://api.github.com/users/simplesamlphp/gists{/gist_id}","starred_url":"https://api.github.com/users/simplesamlphp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simplesamlphp/subscriptions","organizations_url":"https://api.github.com/users/simplesamlphp/orgs","repos_url":"https://api.github.com/users/simplesamlphp/repos","events_url":"https://api.github.com/users/simplesamlphp/events{/privacy}","received_events_url":"https://api.github.com/users/simplesamlphp/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/simplesamlphp/simplesamlphp","description":"SimpleSAMLphp is an award-winning application written in native PHP that deals with authentication.","fork":false,"url":"https://api.github.com/repos/simplesamlphp/simplesamlphp","forks_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/forks","keys_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/keys{/key_id}","collaborators_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/teams","hooks_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/hooks","issue_events_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/events{/number}","events_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/events","assignees_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/assignees{/user}","branches_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/branches{/branch}","tags_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/tags","blobs_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/refs{/sha}","trees_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/trees{/sha}","statuses_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/statuses/{sha}","languages_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/languages","stargazers_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/stargazers","contributors_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/contributors","subscribers_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/subscribers","subscription_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/subscription","commits_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/commits{/sha}","git_commits_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/git/commits{/sha}","comments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/comments{/number}","issue_comment_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/comments{/number}","contents_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/contents/{+path}","compare_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/compare/{base}...{head}","merges_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/merges","archive_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/downloads","issues_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues{/number}","pulls_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls{/number}","milestones_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/milestones{/number}","notifications_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/labels{/name}","releases_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/releases{/id}","deployments_url":"https://api.github.com/repos/simplesamlphp/simplesamlphp/deployments","created_at":"2014-02-25T09:01:45Z","updated_at":"2019-07-22T11:24:18Z","pushed_at":"2019-07-22T11:24:14Z","git_url":"git://github.com/simplesamlphp/simplesamlphp.git","ssh_url":"git@github.com:simplesamlphp/simplesamlphp.git","clone_url":"https://github.com/simplesamlphp/simplesamlphp.git","svn_url":"https://github.com/simplesamlphp/simplesamlphp","homepage":"https://simplesamlphp.org","size":20561,"stargazers_count":666,"watchers_count":666,"language":"PHP","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":481,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":100,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":481,"open_issues":100,"watchers":666,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159"},"html":{"href":"https://github.com/simplesamlphp/simplesamlphp/pull/1159"},"issue":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/1159"},"comments":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/issues/1159/comments"},"review_comments":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159/comments"},"review_comment":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/pulls/1159/commits"},"statuses":{"href":"https://api.github.com/repos/simplesamlphp/simplesamlphp/statuses/03dcfa35fca0d7377673c4aa82c7e118719694c0"}},"author_association":"MEMBER"}}
other: {"actor":{"display_login":"jaimeperez"}}