Pull request building and commit status notification are back to normal. Retesting for pull requests updated during the incident has been triggered.
Jul 17, 21:17 UTC
After a Jenkins restart the new credentials are being used. We are now tracking down pull requests that did not receive updates and retesting them.
Jul 17, 20:53 UTC
The revoked credential was a GitHub access token rather than an ssh key.
Jul 17, 18:47 UTC
We identified the problem as an accidentally revoked SSH key from the pull request builder account on Friday. We replaced the key, but now we're getting 401's from GitHub's API. We're still investigating why.
Jul 17, 18:41 UTC
Pull request building from build.ros.org is down. We're debugging now.
Jul 17, 18:32 UTC