Mergify incident

Engine may have some difficulty to create merge-queue pull request

Minor Resolved View vendor source →

Mergify experienced a minor incident on April 9, 2022 affecting Engine, lasting 1d 1h. The incident has been resolved; the full update timeline is below.

Started
Apr 09, 2022, 06:48 AM UTC
Resolved
Apr 10, 2022, 07:49 AM UTC
Duration
1d 1h
Detected by Pingoru
Apr 09, 2022, 06:48 AM UTC

Affected components

Engine

Update timeline

  1. identified Apr 10, 2022, 06:48 AM UTC

    We've spotted that something has gone wrong. GitHub does not always delete merge-queue pull request when its branch is deleted. This has been escalated to GitHub. We're currently working on a workaround, and will provide an update soon.

  2. monitoring Apr 10, 2022, 07:05 AM UTC

    We've released a workaround for the issue. We're waiting to see if it has worked.

  3. resolved Apr 10, 2022, 07:49 AM UTC

    The issue has been solved.

  4. postmortem Apr 28, 2022, 05:08 PM UTC

    We wrote an blog post about this incident: [https://blog.mergify.com/handling-unexpected-third-part-change/](https://blog.mergify.com/handling-unexpected-third-part-change/)