git: Sua ramificação e 'origem / master' divergiram - como eliminar os commits locais?
Eu tenho a seguinte mensagem no 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)
Eu gostaria de jogar fora os 3 commits locais, e puxar os 8 commits remotos na origem / master.
(Mesclar será muito difícil, prefiro fazer os 3 commits locais novamente assim que o master estiver atualizado.)
Como posso fazer isso?