Case conflicts in file names should be prevented
In issue #12826 it is reported a file name case conflict deriving from commits from case-sensitive and case-insensitive file systems.
A strategy should be elaborated to prevent such conflicts.
A possible consequence of this kind of conflicts is that code running on OSX and code running on Linux, based on the same version, use different files (source, data or configuration).
GIT has a configuration option
core.ignoreCase that might be part of the solution. According to the documentation, if that option is set to
true files with names differing only in capitalisation are considered the same.
That would still require the file to be referenced with the full Linux capitalization in the configuration and source code.