diff --git a/AGENTS.md b/AGENTS.md index 9302e0a..8b58361 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -46,6 +46,14 @@ Gotchas: `gh pr merge` lacks queue support, use GraphQL `enqueuePullRequest`. - The single required status check is the aggregate `Required` job in `ci.yml`; it also runs in the merge queue (`merge_group`). +- **Branch names must not collide with issue-tracker IDs.** When a branch + references a GitHub issue number, write it as `issue-` (e.g. + `issue-1234-retry-timeout`), not as a bare `-` (`docs-1234`, + `api-1234`) or a leading number. Connected trackers (e.g. Linear) auto-link + any branch containing a `-` token to the same-numbered issue on + the team that owns ``, which silently attaches the PR to an unrelated + ticket and moves it through that ticket's workflow. The `issue-` prefix keeps + the reference readable and avoids the match. ## Review protocol