[mergify]

Note

This is a merge queue draft opened by Mergify. Its pull request has merged, and nobody needs to act on it.
Mergify opened it for batch fit-chutney-th2idd of the default queue, to test #237 before it merged into main.

🎉 What landed

Mergify merged its pull request into main, then closed this draft:

• #237 Update from release-docs-2026-11-12 (github-actions[bot]), as 5fdcf5e

This draft's code was built in this order:

1. main at bcfc0e8
2. #237, the pull request of this batch

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: bcfc0e8a62dee68c78498e5aad2e21ee218c6e93
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 237
    scopes: []
scopes: []
...

Required conditions of queue rule default for merge

No extra conditions.

Required conditions to stay in the queue

None