[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 independent-miche-p3zr4p of the default queue, to test #100 before it merged into main.

🎉 What landed

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

• #100 Fix: prevent site controls buttons from being cut off (Ceebug), as 1963c4b

This draft's code was built in this order:

1. main at f85f0c0
2. #100, the pull request of this batch

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: f85f0c0cfb17b9e1e471ccdd9627a7de57a37d12
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 100
    scopes: []
scopes: []
...

Required conditions of queue rule default for merge

• check-success=CI: Test/Lint

Required conditions to stay in the queue

None