Skip to content

docs: GH-253 state the PR linking mechanism correctly - #262

Open
joaodinissf wants to merge 1 commit into
mainfrom
docs/linking-mechanism-fix
Open

docs: GH-253 state the PR linking mechanism correctly#262
joaodinissf wants to merge 1 commit into
mainfrom
docs/linking-mechanism-fix

Conversation

@joaodinissf

Copy link
Copy Markdown
Collaborator

#254 merged at a stale head, so the correction it carried never reached main. CLAUDE.md currently claims GitHub does not resolve GH-<issue> because no autolink is configured. That is wrong twice over.

GH-<issue> is one of GitHub's built-in reference forms and resolves in commit messages with no autolink configuration — the /autolinks endpoint lists only custom autolinks. Commit 31bc9c2e carries only GH-168 and GH-248, no bare #N, and both issues received referenced events from it.

What genuinely does not resolve is any reference in a title, GH- or bare #N alike. That is what made #247 invisible from #168.

And because this repo is rebase-merge only, the PR body never enters history — so the commit subject is the one reference that survives the merge, which is precisely why the title prefix is worth keeping.

Relates to #253

This pull request was published with assistance from Claude.

@joaodinissf
joaodinissf enabled auto-merge (rebase) July 29, 2026 17:37
@joaodinissf
joaodinissf requested a review from jbadeau July 29, 2026 22:12
@joaodinissf
joaodinissf disabled auto-merge July 30, 2026 20:17
GH-<issue> is a built-in GitHub reference form and resolves in commit
messages without any autolink configuration; the /autolinks endpoint lists
only custom autolinks. What does not resolve is any reference in a title.

Since the repo is rebase-merge only, the commit message is the sole durable
carrier of a reference — so the title prefix matters precisely because it is
mirrored into the commit subject.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@joaodinissf
joaodinissf force-pushed the docs/linking-mechanism-fix branch from d1d9bad to 91d4038 Compare August 1, 2026 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant