In Anbetracht der Tatsache, dass es mehrere Git-Befehle gibt, die in einem Bare-Repository keinen Sinn ergeben (da Bare-Repositorys keine Indizes verwenden und kein Arbeitsverzeichnis haben), git reset --hard HEAD^ ist keine Lösung, um die letzte Änderung in einem solchen Repository aufzuheben. Die...