Sep 20, 23:22 UTC
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.
Sep 20, 22:32 UTC
Update - A git fileserver issue caused a brief delay in creating some merge commits - we've isolated the underlying server and already observed recovery.
Sep 20, 22:27 UTC
Monitoring - The degradation affecting Pull Requests has been mitigated. We are monitoring to ensure stability.
Sep 20, 22:13 UTC
Investigating - We are investigating reports of degraded performance for Pull Requests