Fix filename for case-insensitive filesystems (#5179)
Fix filename for case-insensitive filesystems (#5179)

On macOS, many developers use a case-insensitive filesystem. This can cause
issues if Git has to handle a file with differently cased names like File_A and
file_a.

One possible fix is to set Git option 'core.ignoreCase = true' and move theA
file via 'git mv File_A file_a' so that Git records the changes. This is what
has been done to create this commit.
startcode/apollo,startcode/apollo,startcode/apollo,startcode/apollo,startcode/apollo,startcode/apollo