Nach einem git pull
Betrieb ORIG_HEAD
sollte auf den vorherigen Wert von HEAD
zeigen. Sie sollten in der Lage sein: zurück
git reset --hard ORIG_HEAD
Und sein, wo man vor dem pull
Betrieb gestartet. Sie können laufen:
git show ORIG_HEAD
genau zu sehen, wo ORIG_HEAD
dem Ausführen des Befehls reset
vor zeigt.
Eine alternative Lösung wäre eine Niederlassung auf ORIG_HEAD
Basis zu schaffen:
git checkout -b newbranch ORIG_HEAD
Stellen Sie sicher, dass die Dinge so aussehen, wie Sie erwarten, dann den alten Zweig löscht und new branch
umbenennen.
Siehe auch this question für eine Diskussion von HEAD
und ORIG_HEAD
und alternative Syntax für die Bezugnahme auf die gleiche Sache.