In my repository, there are some files that has same name, only difference is the first letter is capital or not, like
I made a file with small letter when I created, but later I renamed it to first character capital. I didn't remove it from my local computer, just renamed it and committed to Git. But when I checked the repository, there are two of all, capitalized and not!
I want to remove
only (of course, they are in same path). I tried this:
git rm products.sql
but it removes both
! I don't know why is it happening. As I know, by default, Git is case-insensitive, so before I renamed the files, I was changed the git config to case sensitive to prevent those kind of happening, but looks like I totally failed.
Is there a way to remove those unnecessary files safely? I'm using Bitbucket so I can remove from web, but hey, there are plenty of them, and I want to remove them entirely at once.