summaryrefslogtreecommitdiff
path: root/maint/check_case_sensitive
Commit message (Collapse)AuthorAgeFilesLines
* maint: Add a check for case-insensitive filesClara Engler2025-08-281-0/+15
Filenames within the tree that exists in multiple versions only differing by their case cause problems on case-insensitive filesystems. This commit introduces a simple check that lists all files indexes by git and searches for duplicate lines while ignoring case during comparison. See !3166, #2144