chore(github): remove duplicate uppercase PULL_REQUEST_TEMPLATE.md#591
Merged
Conversation
`.github/` contained two PR-template files differing only by case: - PULL_REQUEST_TEMPLATE.md (467B, minimal, older) - pull_request_template.md (2393B, detailed template added in #368, includes coverage-gate guidance referenced by all current PRs) Git tracks both as separate blobs because it's case-sensitive, but case-insensitive filesystems (macOS/Windows, default) can only materialize one of them. Symptoms on those platforms: - `git status` reports a permanent phantom "modified" file that cannot be cleaned; `git checkout` just flips which casing is dirty. - GitHub's template resolution is case-insensitive, so with two candidates the rendered PR template is ambiguous. Linux/CI is unaffected (both files materialize fine), which is why this slipped past review when #368 landed. Keep the lowercase, detailed template; remove the uppercase stub. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
.github/currently contains two PR-template files differing only by letter case:.github/PULL_REQUEST_TEMPLATE.md.github/pull_request_template.mdGit tracks both as separate blobs (it's case-sensitive). Case-insensitive filesystems (macOS/Windows, default) can only materialize one file at that path, so users on those platforms see:
git statusreports a permanent phantom "modified" file that can never be cleaned —git checkoutjust flips which casing is dirty.Linux + CI is unaffected (both files materialize fine), which is why this slipped past review when #368 merged.
Changes
git rm .github/PULL_REQUEST_TEMPLATE.md(the uppercase 467 B stub) using the exact-cased path on a case-sensitive Linux clone — required, since a macOS clone can't stage the removal of just one of the two..github/pull_request_template.md(the lowercase 2393 B detailed template) untouched.Test plan
origin/mainpre-fix:git ls-tree origin/main .github/ | grep -i pull_request→ both present.ls .github/shows onlypull_request_template.mdremains..github/.Follow-up worth considering (not in this PR)
A pre-commit / CI check that flags case-only path collisions across the repo would prevent recurrence. Out of scope here.