[littlenano]

Follow-up to #19, which landed the configuration as code but kept three things that are either defaults or not strict enough.

Dropped, because Mergify already does it:

• queue_conditions: base = main, -draft — -closed, -conflict and -draft are Mergify's own queue requirements, and this repository's pull requests all target main;
• batch_size: 1 — the default.

Added, because a merge must not land on a broken pull request:

• "#check-failure = 0" — no check may be failing, not just check.

check-success = check stays: #check-failure = 0 alone is also satisfied when no check has run at all, so the explicit success keeps an empty check list from counting as green.

Consequence of dropping queue_conditions: the queue also accepts pull requests targeting other base branches, since Mergify creates one queue per branch. Add base = main back if that should be restricted.

Mergify validates the file on this pull request; it takes effect once merged into main.

[mergify]

Queued — the merge queue status continues in this comment ↓.

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-10-22 06:37 UTC · Rule: default · triggered by @linyinfeng with the merge queue checkbox
• ✅ Checks passed · on draft merge queue: checking #21 on main (94a7cb9) #22
• ✅ Merged — 2026-10-22 06:38 UTC · at c810c815899bdc75b43c06f7665c720d45ff7f38 · rebase

This pull request spent 1 minute 17 seconds in the queue, including 33 seconds running CI.

Required conditions to merge

• check-success = check