Ein Entwickler hat versehentlich eine Datei committed, die nicht ins Repository gehört. Mit welchem Git-Befehl kann er den letzten Commit rückgängig machen, ohne die Änderungen im Arbeitsverzeichnis zu verlieren?

git reset --soft HEAD~1 setzt den HEAD um einen Commit zurück, behält aber alle Änderungen im Staging-Bereich. So kann der Entwickler den Commit korrigieren. git reset --hard würde auch die Änderungen im Arbeitsverzeichnis löschen. git revert erstellt einen neuen Commit, der die Änderungen rückgängig macht, was in der Historie sichtbar bleibt.