chore: sync Mergify JSON Schema files - #12634
Merged
mergify[bot] merged 1 commit intoSep 1, 2026
Merged
Mergify / Mergify Merge Queue
succeeded
Sep 1, 2026 in 5m 39s
Merged via merge queue
- ✅ Entered queue —
2026-09-01 07:17 UTC· Rule:automated updates· triggered by merge protections - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-09-01 07:23 UTC· at6b00195e0c7e52172910475ee853552bda17d23a· fast-forward
This pull request spent 5 minutes 37 seconds in the queue, including 2 seconds running CI.
Required conditions to merge
github-review-approved[🛡 GitHub repository ruleset ruleRequire pull request for default branch]- all of [🛡 Merge Protections rule
Enforce conventional commit]:title ~= ^(fix|feat|internal|docs|style|refactor|perf|test|build|ci|chore|revert|ui)(?:\(.+\))?!?:
- all of [🛡 Merge Protections rule
👀 Review Requirements]: - all of [🛡 Merge Protections rule
📕 PR description]:body ~= (?ms:.{48,})
- all of [🛡 Merge Protections rule
🔎 Reviews]: - all of [🛡 Merge Protections rule
🤖 Continuous Integration]:
Loading