{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/2311","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/2311/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/2311/comments","events_url":"https://api.github.com/repos/agda/agda/issues/2311/events","html_url":"https://github.com/agda/agda/issues/2311","id":190914061,"number":2311,"title":"Release Agda 2.5.1.2","user":{"login":"UlfNorell","id":447950,"avatar_url":"https://avatars.githubusercontent.com/u/447950?v=3","gravatar_id":"","url":"https://api.github.com/users/UlfNorell","html_url":"https://github.com/UlfNorell","followers_url":"https://api.github.com/users/UlfNorell/followers","following_url":"https://api.github.com/users/UlfNorell/following{/other_user}","gists_url":"https://api.github.com/users/UlfNorell/gists{/gist_id}","starred_url":"https://api.github.com/users/UlfNorell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UlfNorell/subscriptions","organizations_url":"https://api.github.com/users/UlfNorell/orgs","repos_url":"https://api.github.com/users/UlfNorell/repos","events_url":"https://api.github.com/users/UlfNorell/events{/privacy}","received_events_url":"https://api.github.com/users/UlfNorell/received_events","type":"User","site_admin":false},"labels":[{"id":245652051,"url":"https://api.github.com/repos/agda/agda/labels/priority-highest","name":"priority-highest","color":"ededed","default":false},{"id":248401399,"url":"https://api.github.com/repos/agda/agda/labels/task","name":"task","color":"fbca04","default":false}],"state":"open","locked":false,"assignee":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","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},"assignees":[{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","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}],"milestone":null,"comments":21,"created_at":"2016-11-22T05:56:41Z","updated_at":"2016-11-24T17:07:05Z","closed_at":null,"body":"The commit abcde44 fixes compilation with `ghc-8.0.2`. We should cherry-pick this to `release-2.5.1` and release 2.5.1.2."},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/262819083","html_url":"https://github.com/agda/agda/issues/2311#issuecomment-262819083","issue_url":"https://api.github.com/repos/agda/agda/issues/2311","id":262819083,"user":{"login":"UlfNorell","id":447950,"avatar_url":"https://avatars.githubusercontent.com/u/447950?v=3","gravatar_id":"","url":"https://api.github.com/users/UlfNorell","html_url":"https://github.com/UlfNorell","followers_url":"https://api.github.com/users/UlfNorell/followers","following_url":"https://api.github.com/users/UlfNorell/following{/other_user}","gists_url":"https://api.github.com/users/UlfNorell/gists{/gist_id}","starred_url":"https://api.github.com/users/UlfNorell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UlfNorell/subscriptions","organizations_url":"https://api.github.com/users/UlfNorell/orgs","repos_url":"https://api.github.com/users/UlfNorell/repos","events_url":"https://api.github.com/users/UlfNorell/events{/privacy}","received_events_url":"https://api.github.com/users/UlfNorell/received_events","type":"User","site_admin":false},"created_at":"2016-11-24T17:07:05Z","updated_at":"2016-11-24T17:07:05Z","body":"The 2.5.2 release should wait for ghc-8.0.2 (unless it gets pushed back a lot), but 2.5.1.2 should go out asap."}}
{"actor":{"display_login":"UlfNorell"}}