I had a couple confusing situations happen in a Git repo, where a capitalized file name was changed to lowercase, or vice versa. It caused an issue that only o

I had a couple confusing situations happen in a Git repo, where a capitalized file name was changed to lowercase, or vice versa. It caused an issue that only one of us in the team experienced, since they had a case-insensitive file system, I think Windows. The reverse also happened, where everyone but that person saw an issue, due to their case-sensitive file system. In the end, "git mv" solved those cases, but I never fully understood how to avoid them occurring in the first place. I think we all just agreed on a convention of all lowercase folder/file names.