Skip to content

ci: a PR may close a card only while that card claims its head branch - #17801

Merged
claude[bot] merged 2 commits into
mainfrom
claude/issue-15845-claim-comment-pr-gate
Sep 12, 2026
Merged

ci: a PR may close a card only while that card claims its head branch#17801
claude[bot] merged 2 commits into
mainfrom
claude/issue-15845-claim-comment-pr-gate

Commits

Commits on Sep 12, 2026