chore: fix duplicate word typos in documentation comments #37357
Mergify / Mergify Merge Queue
succeeded
Mar 30, 2026 in 9h 48m 30s
Merged via merge queue
- ✅ Entered queue —
2026-03-30 09:21 UTC· Rule:default-squash - ✅ Checks passed · in-place
- ✅ Merged —
2026-03-30 19:09 UTC· at534b8fa3a4df04555d58e2e10947fe39aa3a2a56
This pull request spent 9 hours 48 minutes 29 seconds in the queue, including 47 minutes 17 seconds running CI.
Required conditions to merge
#approved-reviews-by >= 1[🛡 GitHub branch protection]#changes-requested-reviews-by = 0[🛡 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