I have two branches in my remote repository.
masterhas a file in a foldermyFolder/myFile.my-branchhas a pushed commit that renamedmyFolder/myFile(camelCase) tomyfolder/myFile(flatcase).
I have cloned it into two local repositories in my case-preserving MacOS environment, set ignorecase = true in the .git/config file, and checked out those two branches
- When I switch between those two branches with the first local repository, the folder is updated correctly with the correct case, either
myFolderormyfolder. This local repository is freshly cloned. - But somehow, when I switch between the two branches with the second local repository, the folder's case is not updated, it stays the same. This local repository is older and has seen some git operations done prior to this.
How can I find out why those two local repositories behave differently? They both have the exact same .git/config file
How can I fix the second repository so that the folder case gets correctly updated upon switching branch?