chore: clarify and prune design guidelines - #38463
Merged
Merged
Mergify / Mergify Merge Queue
succeeded
Aug 7, 2026 in 55m 16s
Merged via merge queue
- ✅ Entered queue —
2026-08-07 09:15 UTC· Rule:default-squash· triggered by ruleautomatic merge - ✅ Checks passed · in-place
- ✅ Merged —
2026-08-07 10:11 UTC· atfc44a3fcc389bf022e9061fb1a72580d4112f406· squash
This pull request spent 55 minutes 14 seconds in the queue, including 54 minutes 45 seconds running CI.
Required conditions to merge
github-review-approved[🛡 GitHub branch protection]- any of [🛡 GitHub branch protection]:
-
check-success = validate-pr -
check-neutral = validate-pr -
check-skipped = validate-pr
-
- any of [🛡 GitHub branch protection]:
-
check-success = build -
check-neutral = build -
check-skipped = build
-
Loading