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"