Skip to content

Fix case-sensitive filenames for GitHub deployment#640

Merged
d45 merged 1 commit into
gh-pages-devfrom
d45/v_1.17.0_release
Jun 18, 2026
Merged

Fix case-sensitive filenames for GitHub deployment#640
d45 merged 1 commit into
gh-pages-devfrom
d45/v_1.17.0_release

Conversation

@d45

@d45 d45 commented Jun 18, 2026

Copy link
Copy Markdown
Contributor

macOS case-insensitive filesystem caused git to track PascalCase TypeDoc files under their old lowercase names. Use git mv renames so GitHub (Linux, case-sensitive) sees the correct PascalCase filenames.

Also set core.ignoreCase = false to prevent recurrence.

macOS case-insensitive filesystem caused git to track PascalCase TypeDoc
files under their old lowercase names. Use git mv renames so GitHub
(Linux, case-sensitive) sees the correct PascalCase filenames.

Also set core.ignoreCase = false to prevent recurrence.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@d45 d45 merged commit 94352fc into gh-pages-dev Jun 18, 2026
4 checks passed
@d45 d45 deleted the d45/v_1.17.0_release branch June 18, 2026 05:54
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