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

ci: read an unparsed claim as UNDETERMINED, and repair the sibling-co…

23182d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar