Git capital name change-CodePudding

I first created file name "Buypage" and did git commit.
After that I changed it as "BuyPage" but git didn't care about it.

Whenever i move between commits or change branches, the filename return to it's old name.

I tried to change it using the "git mv Buypage BuyPage" command, but it gave me an error.

error fatal: bad source
I found out through Googling that the above error is a problem that only occurs on Windows.
But i don't know how to solve it

CodePudding user response：

Try in a Windows CMD session:

git -c core.ignorecase=false mv -f Buypage BuyPage

Then check if git status shows:

Changes to be committed:
  (use "git restore --staged <file>..." to unstage)
        renamed:    Buypage  -> BuyPage