{"action":"created","issue":{"url":"https://api.github.com/repos/mozilla/rr/issues/1814","repository_url":"https://api.github.com/repos/mozilla/rr","labels_url":"https://api.github.com/repos/mozilla/rr/issues/1814/labels{/name}","comments_url":"https://api.github.com/repos/mozilla/rr/issues/1814/comments","events_url":"https://api.github.com/repos/mozilla/rr/issues/1814/events","html_url":"https://github.com/mozilla/rr/pull/1814","id":178102335,"number":1814,"title":"flushregs on RRCmds because they can invalidate the GDB caches","user":{"login":"bgirard","id":793565,"avatar_url":"https://avatars.githubusercontent.com/u/793565?v=3","gravatar_id":"","url":"https://api.github.com/users/bgirard","html_url":"https://github.com/bgirard","followers_url":"https://api.github.com/users/bgirard/followers","following_url":"https://api.github.com/users/bgirard/following{/other_user}","gists_url":"https://api.github.com/users/bgirard/gists{/gist_id}","starred_url":"https://api.github.com/users/bgirard/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bgirard/subscriptions","organizations_url":"https://api.github.com/users/bgirard/orgs","repos_url":"https://api.github.com/users/bgirard/repos","events_url":"https://api.github.com/users/bgirard/events{/privacy}","received_events_url":"https://api.github.com/users/bgirard/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2016-09-20T15:58:56Z","updated_at":"2016-09-29T11:16:57Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/mozilla/rr/pulls/1814","html_url":"https://github.com/mozilla/rr/pull/1814","diff_url":"https://github.com/mozilla/rr/pull/1814.diff","patch_url":"https://github.com/mozilla/rr/pull/1814.patch"},"body":"What do you think about this fix?\r\n\r\nhttps://sourceware.org/gdb/onlinedocs/gdb/Maintenance-Commands.html\r\n\r\nWe might get hit later by another cache but so far this seems to work ok.\r\n\r\nI wrote a testcase to make sure we do the right thing when hitting the end of the program and we don't. I've added it as a todo for now."},"comment":{"url":"https://api.github.com/repos/mozilla/rr/issues/comments/250438472","html_url":"https://github.com/mozilla/rr/pull/1814#issuecomment-250438472","issue_url":"https://api.github.com/repos/mozilla/rr/issues/1814","id":250438472,"user":{"login":"rocallahan","id":296135,"avatar_url":"https://avatars.githubusercontent.com/u/296135?v=3","gravatar_id":"","url":"https://api.github.com/users/rocallahan","html_url":"https://github.com/rocallahan","followers_url":"https://api.github.com/users/rocallahan/followers","following_url":"https://api.github.com/users/rocallahan/following{/other_user}","gists_url":"https://api.github.com/users/rocallahan/gists{/gist_id}","starred_url":"https://api.github.com/users/rocallahan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rocallahan/subscriptions","organizations_url":"https://api.github.com/users/rocallahan/orgs","repos_url":"https://api.github.com/users/rocallahan/repos","events_url":"https://api.github.com/users/rocallahan/events{/privacy}","received_events_url":"https://api.github.com/users/rocallahan/received_events","type":"User","site_admin":false},"created_at":"2016-09-29T11:16:57Z","updated_at":"2016-09-29T11:16:57Z","body":"I disabled the `history` test because it fails on Debian 8.5 due to this bug."}}
{"actor":{"display_login":"rocallahan"}}