How to safely rename a case sensitive file/directory in a git repo?