From the status page it looks like API latency exploded for a few minutes earlier today. We saw a bunch of GitHub webhooks time out in that window. Was there an outage?
Hmm, we did have a short spike in response times on web and API, but we didn’t consider it an outage as web response time spiked to 2s, and API response time spiked to 10s. We’d be surprised if that spike in latency resulted in missed webhooks from GitHub, but I guess it’s possible
Let us know if you’re still seeing issues.
Been fine since then, I think it was just bad luck that someone happened to click Merge on a PR in that tiny window :)