{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/2026","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/2026/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/2026/comments","events_url":"https://api.github.com/repos/agda/agda/issues/2026/events","html_url":"https://github.com/agda/agda/issues/2026","id":159759544,"number":2026,"title":"Bug fix release 2.5.1.1","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":[{"url":"https://api.github.com/repos/agda/agda/labels/info-needed","name":"info-needed","color":"159818"},{"url":"https://api.github.com/repos/agda/agda/labels/task","name":"task","color":"fbca04"}],"state":"open","locked":false,"assignee":{"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},"milestone":{"url":"https://api.github.com/repos/agda/agda/milestones/17","html_url":"https://github.com/agda/agda/milestones/2.5.1.1","labels_url":"https://api.github.com/repos/agda/agda/milestones/17/labels","id":1821289,"number":17,"title":"2.5.1.1","description":null,"creator":{"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},"open_issues":1,"closed_issues":9,"state":"open","created_at":"2016-06-11T08:52:01Z","updated_at":"2016-06-16T16:08:59Z","due_on":null,"closed_at":null},"comments":55,"created_at":"2016-06-11T06:49:46Z","updated_at":"2016-06-20T16:01:43Z","closed_at":null,"body":"We might want to consider a `2.5.1.1` bug fix release. I just fixed a serious performance bug with instance arguments: #1952 and #1998 (and the related #1955 and #2025).\r\n\r\nI'll create a `release-2.5.1` branch and cherry pick the relevant commits. Are there any other serious bug fixes we might want to include?"},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/227186928","html_url":"https://github.com/agda/agda/issues/2026#issuecomment-227186928","issue_url":"https://api.github.com/repos/agda/agda/issues/2026","id":227186928,"user":{"login":"Blaisorblade","id":289960,"avatar_url":"https://avatars.githubusercontent.com/u/289960?v=3","gravatar_id":"","url":"https://api.github.com/users/Blaisorblade","html_url":"https://github.com/Blaisorblade","followers_url":"https://api.github.com/users/Blaisorblade/followers","following_url":"https://api.github.com/users/Blaisorblade/following{/other_user}","gists_url":"https://api.github.com/users/Blaisorblade/gists{/gist_id}","starred_url":"https://api.github.com/users/Blaisorblade/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Blaisorblade/subscriptions","organizations_url":"https://api.github.com/users/Blaisorblade/orgs","repos_url":"https://api.github.com/users/Blaisorblade/repos","events_url":"https://api.github.com/users/Blaisorblade/events{/privacy}","received_events_url":"https://api.github.com/users/Blaisorblade/received_events","type":"User","site_admin":false},"created_at":"2016-06-20T16:01:43Z","updated_at":"2016-06-20T16:01:43Z","body":"@asr I'm confused. Why should a user see release notes for 2.5.2 in the 2.5.1.1 release? I only see the old workflow would make it a bit harder to remove the file, not impossible.\r\n\r\nSeparately, I'm also confused why there's both CHANGELOG and release-notes, and how they're kept in line — I guess the 2.5.1.1 release notes should later be reflected in the `CHANGELOG` in `stable-2.5` and `master`, right? Is that done by hand?"}}
{"actor":{"display_login":"Blaisorblade"}}