CODEWITHSUNDEEP
gitgithub
bos570
bos570

Reputation: 1523

Git file name changes case on push

I am working with git on my local machine and pushing to a remote apache server. I had a file which I originally added and it was named controllers. I wanted to change this to Controllers with the uppercase file name. When I did this and pushed, my remote server keep showing the file as controllers with the lower case name. I removed the files from both local/remote and pushed again but the file keeps showing with the lower case name.

I tried git config core.ignorecase false but it did not work. My apache server allows for uppercase filenames so that's not the issue. Can't figure out what this is. Is there git cache I can clear to solve this. Driving me bananas.

Upvotes: 1

Views: 1085

Answers (1)

bos570
bos570

Reputation: 1523

It seems that when I changed the file name git did not properly record the change. I remove the dir from the repo with 

git rm -r --cached controllers

then added and committed back to repo and that seemed to fix it.

Upvotes: 3

Related Questions