mirrors/arti.git/maint/check_case_sensitive, branch arti-v1.8.0mirror of https://gitlab.torproject.org/tpo/core/arti
http://git.dilluti0n.com/mirrors/arti.git/atom?h=arti-v1.8.02025-08-28T16:43:29Zmaint: Add a check for case-insensitive files2025-08-28T16:43:29ZClara Englercve@cve.cx2025-08-28T16:43:29Zurn:sha1:0a98243b21568f09e0eec1870c2bc3cb75e62750
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