Jun 17, 13:28 PDT
Resolved - This incident has been resolved.
Jun 17, 13:10 PDT
Monitoring - Looks like GitHub API requests are working again!
Jun 17, 12:46 PDT
Identified - We're seeing an increased number of "No server is currently available to service your request." errors when calling GitHub API. This influences e.g. processing of webhook events (push, pull request) and setting commit statuses.
See https://www.githubstatus.com/incidents/y7lb2rg4btd7
