git – Ändern der Groß-/Klein-Schreibweise von Ordnern

Neulich stieß ich auf das Problem, dass ich die Schreibweise eines Verzeichnisses geändert hatte. In der lokalen Working-Kopie wurde die Schreibweise korrekt angezeigt, GitLab zeigte mir die Änderung auch korrekt, jedoch änderte sich am Server nichts. Dort blieb die alte Schreibweise :-(

Eine simple und schnelle Lösung fand ich nach einigem Suchen:

git mv src/Mydir src/mydirs
git mv src/mydirs src/mydir
git commit -m "Rename folder Mydir to mydir"

Quelle