git: Dein Zweig und 'origin / master' sind auseinander gegangen - wie wirft man lokale Commits weg?
Ich habe die folgende Nachricht in Git:
# Your branch and 'origin/master' have diverged,
# and have 3 and 8 different commits each, respectively.
# (use "git pull" to merge the remote branch into yours)
Ich möchte die 3 lokalen Commits wegwerfen und die 8 entfernten Commits bei origin / master ziehen.
(Das Zusammenführen wird zu schwierig. Ich würde es vorziehen, die drei lokalen Commits erneut auszuführen, sobald der Master auf dem neuesten Stand ist.)
Wie kann ich das machen?