Published onMay 1, 2024How to safely rename a case sensitive file/directory in a git repo?#git#rename#case-sensitiveHow to safely rename a case sensitive file/directory in a git repo?