>> git pull origin master --force
Это стянет с внешнего репозитория и вероятно поудаляет лишние коммиты на локале (то есть в соответствие с внешним репозиторием приведет). Я точно не знаю, потому что так не делал. Я только git push --force делал. Если у тебя коммит локально есть, но его нет на гитхабе, то тебе именно push надо делать, то есть выливать локальные во внешний. А если ты зальешь, да еще с перетиранием, то ты и локальные потеряешь.