How to change a file's letter case in a Git repository?

GitHub
1 
git mv --force <old name> <new name>
git push

E.g.:

git mv --force README.md readme.md
git push

stackoverflow.com/a/16071375