Use git fetch instead of git pull; avoids pull-specific behaviors

Using `git pull` can cause problems when someone has, for example, specified to do a rebase with all pulls. Or when the repo isn't on any branch.