Dies ist eine alte Version des Dokuments!
Git ist ein Tool zur dezentralen Versionskontrolle von Dateien, entwickelt insbesondere für Quellcode.
Eine Datei sollte mit dem Git-Befehl git mv umbenannt bzw. verschoben werden:
git mv foo_old.txt foo_new.txt