[mergify]

Note

This is a merge queue draft opened by Mergify. Nobody needs to act on it.
Mergify opened it for batch roasted-pomme-jegtw6 of the default queue, to test #914 before it merges into main. Pushing to this branch or closing this pull request removes #914 from the queue.

What this draft tests

Mergify checks that #914 still passes CI on top of main. CI runs on this draft's code, built in this order:

1. main at 1b2cf50
2. #914, the pull request of this batch

🎉 Where it stands: checks passed

CI passed on this draft.

Follow the default queue in the dashboard

What happens next

• Mergify merges #914 into main and closes this draft.

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: 1b2cf50d622f3adbdf52d4485f3117bc3ca9ff9a
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 914
    scopes: []
scopes: []
...

Required conditions of queue rule default for merge

• github-review-approved [🛡 GitHub branch protection]
  • Update mima url #914

Required conditions to stay in the queue

• github-review-approved [🛡 GitHub branch protection]
  • Update mima url #914