use git fetch and reset instead of pull

git pull can fail with changed history (rebase, amend...)