Replace git pull with git fetch+reset to avoid unwanted merge