{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/3384","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/3384/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/3384/comments","events_url":"https://api.github.com/repos/agda/agda/issues/3384/events","html_url":"https://github.com/agda/agda/pull/3384","id":380029790,"node_id":"MDExOlB1bGxSZXF1ZXN0MjMwMzI3NTM1","number":3384,"title":"[ close #3373 ] Implement the proposed feature","user":{"login":"ice1000","id":16398479,"node_id":"MDQ6VXNlcjE2Mzk4NDc5","avatar_url":"https://avatars3.githubusercontent.com/u/16398479?v=4","gravatar_id":"","url":"https://api.github.com/users/ice1000","html_url":"https://github.com/ice1000","followers_url":"https://api.github.com/users/ice1000/followers","following_url":"https://api.github.com/users/ice1000/following{/other_user}","gists_url":"https://api.github.com/users/ice1000/gists{/gist_id}","starred_url":"https://api.github.com/users/ice1000/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ice1000/subscriptions","organizations_url":"https://api.github.com/users/ice1000/orgs","repos_url":"https://api.github.com/users/ice1000/repos","events_url":"https://api.github.com/users/ice1000/events{/privacy}","received_events_url":"https://api.github.com/users/ice1000/received_events","type":"User","site_admin":false},"labels":[{"id":413901905,"node_id":"MDU6TGFiZWw0MTM5MDE5MDU=","url":"https://api.github.com/repos/agda/agda/labels/html-backend","name":"html-backend","color":"ededed","default":false}],"state":"open","locked":false,"assignee":{"login":"vlopezj","id":1593773,"node_id":"MDQ6VXNlcjE1OTM3NzM=","avatar_url":"https://avatars1.githubusercontent.com/u/1593773?v=4","gravatar_id":"","url":"https://api.github.com/users/vlopezj","html_url":"https://github.com/vlopezj","followers_url":"https://api.github.com/users/vlopezj/followers","following_url":"https://api.github.com/users/vlopezj/following{/other_user}","gists_url":"https://api.github.com/users/vlopezj/gists{/gist_id}","starred_url":"https://api.github.com/users/vlopezj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vlopezj/subscriptions","organizations_url":"https://api.github.com/users/vlopezj/orgs","repos_url":"https://api.github.com/users/vlopezj/repos","events_url":"https://api.github.com/users/vlopezj/events{/privacy}","received_events_url":"https://api.github.com/users/vlopezj/received_events","type":"User","site_admin":false},"assignees":[{"login":"vlopezj","id":1593773,"node_id":"MDQ6VXNlcjE1OTM3NzM=","avatar_url":"https://avatars1.githubusercontent.com/u/1593773?v=4","gravatar_id":"","url":"https://api.github.com/users/vlopezj","html_url":"https://github.com/vlopezj","followers_url":"https://api.github.com/users/vlopezj/followers","following_url":"https://api.github.com/users/vlopezj/following{/other_user}","gists_url":"https://api.github.com/users/vlopezj/gists{/gist_id}","starred_url":"https://api.github.com/users/vlopezj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vlopezj/subscriptions","organizations_url":"https://api.github.com/users/vlopezj/orgs","repos_url":"https://api.github.com/users/vlopezj/repos","events_url":"https://api.github.com/users/vlopezj/events{/privacy}","received_events_url":"https://api.github.com/users/vlopezj/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2018-11-13T02:23:53Z","updated_at":"2018-11-13T09:47:38Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/agda/agda/pulls/3384","html_url":"https://github.com/agda/agda/pull/3384","diff_url":"https://github.com/agda/agda/pull/3384.diff","patch_url":"https://github.com/agda/agda/pull/3384.patch"},"body":"Signed-off-by: ice1000 <ice1000kotlin@foxmail.com>\r\n\r\nEverything has already been covered in #3373 "},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/438202838","html_url":"https://github.com/agda/agda/pull/3384#issuecomment-438202838","issue_url":"https://api.github.com/repos/agda/agda/issues/3384","id":438202838,"node_id":"MDEyOklzc3VlQ29tbWVudDQzODIwMjgzOA==","user":{"login":"ice1000","id":16398479,"node_id":"MDQ6VXNlcjE2Mzk4NDc5","avatar_url":"https://avatars3.githubusercontent.com/u/16398479?v=4","gravatar_id":"","url":"https://api.github.com/users/ice1000","html_url":"https://github.com/ice1000","followers_url":"https://api.github.com/users/ice1000/followers","following_url":"https://api.github.com/users/ice1000/following{/other_user}","gists_url":"https://api.github.com/users/ice1000/gists{/gist_id}","starred_url":"https://api.github.com/users/ice1000/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ice1000/subscriptions","organizations_url":"https://api.github.com/users/ice1000/orgs","repos_url":"https://api.github.com/users/ice1000/repos","events_url":"https://api.github.com/users/ice1000/events{/privacy}","received_events_url":"https://api.github.com/users/ice1000/received_events","type":"User","site_admin":false},"created_at":"2018-11-13T09:47:38Z","updated_at":"2018-11-13T09:47:38Z","author_association":"MEMBER","body":"@vlopezj say something?\r\n\r\nJust curious, what's your timezone? It's 4:48 a.m. here."}}
{"actor":{"display_login":"ice1000"}}