{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/3105","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/3105/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/3105/comments","events_url":"https://api.github.com/repos/agda/agda/issues/3105/events","html_url":"https://github.com/agda/agda/pull/3105","id":329053538,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkyNDA2NDk2","number":3105,"title":"fix instructions for Installation of the Development Version","user":{"login":"halfaya","id":6006872,"node_id":"MDQ6VXNlcjYwMDY4NzI=","avatar_url":"https://avatars0.githubusercontent.com/u/6006872?v=4","gravatar_id":"","url":"https://api.github.com/users/halfaya","html_url":"https://github.com/halfaya","followers_url":"https://api.github.com/users/halfaya/followers","following_url":"https://api.github.com/users/halfaya/following{/other_user}","gists_url":"https://api.github.com/users/halfaya/gists{/gist_id}","starred_url":"https://api.github.com/users/halfaya/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/halfaya/subscriptions","organizations_url":"https://api.github.com/users/halfaya/orgs","repos_url":"https://api.github.com/users/halfaya/repos","events_url":"https://api.github.com/users/halfaya/events{/privacy}","received_events_url":"https://api.github.com/users/halfaya/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-04T13:22:26Z","updated_at":"2018-06-04T14:16:40Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/agda/agda/pulls/3105","html_url":"https://github.com/agda/agda/pull/3105","diff_url":"https://github.com/agda/agda/pull/3105.diff","patch_url":"https://github.com/agda/agda/pull/3105.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/394370369","html_url":"https://github.com/agda/agda/pull/3105#issuecomment-394370369","issue_url":"https://api.github.com/repos/agda/agda/issues/3105","id":394370369,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NDM3MDM2OQ==","user":{"login":"asr","id":635804,"node_id":"MDQ6VXNlcjYzNTgwNA==","avatar_url":"https://avatars2.githubusercontent.com/u/635804?v=4","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"created_at":"2018-06-04T14:16:40Z","updated_at":"2018-06-04T14:16:40Z","author_association":"MEMBER","body":"> I was merely correcting a mistake.\r\n\r\nYou are right.\r\n\r\nPlease close this PR and create a new one using the `stable-2.5` branch.\r\n\r\n\r\n"}}
{"actor":{"display_login":"asr"}}