git mv -f OldFileNameCase newfilenamecase
https://stackoverflow.com/questions/17683458/how-do-i-commit-case-sensitive-only-filename-changes-in-gitarrow-up-right
Last updated 6 years ago