{"action":"created","issue":{"url":"https://api.github.com/repos/josefs/Gradualizer/issues/17","repository_url":"https://api.github.com/repos/josefs/Gradualizer","labels_url":"https://api.github.com/repos/josefs/Gradualizer/issues/17/labels{/name}","comments_url":"https://api.github.com/repos/josefs/Gradualizer/issues/17/comments","events_url":"https://api.github.com/repos/josefs/Gradualizer/issues/17/events","html_url":"https://github.com/josefs/Gradualizer/pull/17","id":335730907,"node_id":"MDExOlB1bGxSZXF1ZXN0MTk3MzU1NTkx","number":17,"title":"Fix normalizing local user types","user":{"login":"gomoripeti","id":3725991,"node_id":"MDQ6VXNlcjM3MjU5OTE=","avatar_url":"https://avatars2.githubusercontent.com/u/3725991?v=4","gravatar_id":"","url":"https://api.github.com/users/gomoripeti","html_url":"https://github.com/gomoripeti","followers_url":"https://api.github.com/users/gomoripeti/followers","following_url":"https://api.github.com/users/gomoripeti/following{/other_user}","gists_url":"https://api.github.com/users/gomoripeti/gists{/gist_id}","starred_url":"https://api.github.com/users/gomoripeti/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gomoripeti/subscriptions","organizations_url":"https://api.github.com/users/gomoripeti/orgs","repos_url":"https://api.github.com/users/gomoripeti/repos","events_url":"https://api.github.com/users/gomoripeti/events{/privacy}","received_events_url":"https://api.github.com/users/gomoripeti/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-06-26T09:21:14Z","updated_at":"2018-06-26T11:09:48Z","closed_at":null,"author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/josefs/Gradualizer/pulls/17","html_url":"https://github.com/josefs/Gradualizer/pull/17","diff_url":"https://github.com/josefs/Gradualizer/pull/17.diff","patch_url":"https://github.com/josefs/Gradualizer/pull/17.patch"},"body":"When a user type in the same module as type checked was encountered it\r\nwas not normalized further recursively. This was not a problem for user\r\ntypes in other modules or remote types.\r\n\r\nFixes self-typecheck issue:\r\n> The variable 'Ty1' on line 60 has type type() but is expected to have type type()\r\n\r\ncloses #15"},"comment":{"url":"https://api.github.com/repos/josefs/Gradualizer/issues/comments/400269716","html_url":"https://github.com/josefs/Gradualizer/pull/17#issuecomment-400269716","issue_url":"https://api.github.com/repos/josefs/Gradualizer/issues/17","id":400269716,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMDI2OTcxNg==","user":{"login":"zuiderkwast","id":273886,"node_id":"MDQ6VXNlcjI3Mzg4Ng==","avatar_url":"https://avatars2.githubusercontent.com/u/273886?v=4","gravatar_id":"","url":"https://api.github.com/users/zuiderkwast","html_url":"https://github.com/zuiderkwast","followers_url":"https://api.github.com/users/zuiderkwast/followers","following_url":"https://api.github.com/users/zuiderkwast/following{/other_user}","gists_url":"https://api.github.com/users/zuiderkwast/gists{/gist_id}","starred_url":"https://api.github.com/users/zuiderkwast/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zuiderkwast/subscriptions","organizations_url":"https://api.github.com/users/zuiderkwast/orgs","repos_url":"https://api.github.com/users/zuiderkwast/repos","events_url":"https://api.github.com/users/zuiderkwast/events{/privacy}","received_events_url":"https://api.github.com/users/zuiderkwast/received_events","type":"User","site_admin":false},"created_at":"2018-06-26T11:09:48Z","updated_at":"2018-06-26T11:09:48Z","author_association":"COLLABORATOR","body":"That's it! I confirm that this is correct. Thanks Peter!"}}
{"actor":{"display_login":"zuiderkwast"}}