In my repository, there are some files that has same name, only difference is the first letter is capital or not, like products.sql and Products.sql.
I was made file with small letter when I created, but after I renamed it to first character capital. I didn't removed from my local computer, just renamed it and commited to git. But when I checked the repository, there are two of all, capitalized and not!
I want to remove "products.sql", not Products.sql only(Of course, they are in same path). I tried this:
git rm products.sql
git config --global core.ignorecase false
should fix it.
This is odd, especially since you're not on windows. A solution would be to copy Products.sql to some other folder (not git controlled), then
git rm, then copy back the file then commit.