Ich bin auf ein Problem mit Git gestoßen. Grundsätzlich habe ich false gesetzt, core.ignorecase
weil ich die Groß- und Kleinschreibung einiger Ordner ändern wollte (da ich unter OSX mit einem Dateisystem bin, bei dem die Groß- und Kleinschreibung nicht berücksichtigt wird, wurden die Änderungen nicht anders angezeigt). Beim Abrufen meiner Daten habe ich festgestellt, dass jetzt jeder umbenannte Ordner zweimal im Repository angezeigt wird, sowohl mit dem alten als auch mit dem neuen Namen. Ich weiß nicht, was ich tun soll, um die alten Ordner zu entfernen, da sie nicht lokal angezeigt werden (ich habe versucht, wieder core.ignorecase
auf true zu setzen , aber es hilft nicht).