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 Remote-Commits am Ursprung / Master ziehen.
(Das Zusammenführen wird zu schwierig sein. Ich würde lieber die 3 lokalen Commits erneut durchführen, sobald der Master auf dem neuesten Stand ist.)
Wie kann ich das machen?