У меня есть следующее сообщение в 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)
Я хотел бы выбросить 3 локальных коммита и вытащить 8 удаленных коммитов в origin/master.
(Слияние будет слишком сложным, я предпочел бы сделать 3 локальных фиксации снова, если мастер обновлен.)
Как я могу это сделать?