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 Suche über das Internet, alles , was ich zu dem Thema finden konnte , ist dies , in dem ich vorgestellt habe drei Möglichkeiten , dies zu tun:
1. „den Referee manuell aktualisieren (die Sanitär beinhaltet)“;
2. " git push -f
aus einem nicht nackten Repository";
3. " git branch -f this $that
".
Welche Lösung halten Sie für angemessener oder welche anderen Möglichkeiten gibt es dafür? Leider ist die Dokumentation, die ich über Git Bare Repositories gefunden habe, ziemlich schlecht.