Skip to content

Emit an exact-case anchor beside each STATUS.md heading - #9

Open
adamXbot wants to merge 1 commit into
mainfrom
fix/status-anchor-casing
Open

Emit an exact-case anchor beside each STATUS.md heading#9
adamXbot wants to merge 1 commit into
mainfrom
fix/status-anchor-casing

Conversation

@adamXbot

@adamXbot adamXbot commented Aug 9, 2026

Copy link
Copy Markdown
Collaborator

GitHub lowercases generated heading anchors, so STATUS.md#AUcoverage silently misses and drops the reader at the top of the file rather than at that project's entry.

Two of the seventeen READMEs in the first rollout batch hit this (AUcoverage, CyberThing-Trustmark). Both are fixed in their own PRs, but the class of bug is worth closing: every repo whose name contains a capital letter is a candidate, and the failure is silent — the link works, it just goes to the wrong place.

Emitting an explicit <a id="<repo>"></a> with the real casing means both spellings resolve.

Needs a v1 retag after merge.

🤖 Generated with Claude Code

GitHub lowercases generated heading anchors, so a README linking
STATUS.md#AUcoverage silently missed and dropped the reader at the top of the
file instead of that project's entry. Two of seventeen READMEs in the first
rollout batch hit this.

Emitting an explicit <a id> with the repo's real casing means both the exact
and lowercased spellings resolve, so the mistake stops being possible rather
than being caught by review.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
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