Ignore pull failures

If we are on a tag we don't need to pull.
If that command fails, the whole script will fail due to `set -e`.

Another problem with this approach is that if you have an untracked branch `git pull` will *still* fail. For instance if you're forking `v173` you cannot pull.