I need to change the case of folders and files. First thing I tried was renaming the folders, but Git didn\'t pick up the changes. So I tried using git mv -f co
I could not resolve this apart from performing the following