Don’t `git pull`.