Incident with Pull Requests

Resolved

This incident has been resolved. Thank you for your patience and understanding as we addressed this issue. A detailed root cause analysis will be shared as soon as it is available.

Update

A git fileserver issue caused a brief delay in creating some merge commits - we've isolated the underlying server and already observed recovery.

Update

The degradation affecting Pull Requests has been mitigated. We are monitoring to ensure stability.

Investigating

We are investigating reports of degraded performance for Pull Requests