Wie kann man in einem Git-Repository ein Verzeichnis richtig umbenennen?
Ich denke, es sollte funktionieren, um das umzubenennende Verzeichnis in ein neues Verzeichnis mit dem gewünschten Namen zu kopieren, undLöschen Sie das alte Verzeichnis, undgit add
, git commit
undpush
alles. Aber ist das der beste Weg?