You can use git mv:

git mv -f OldFileNameCase newfilenamecase