`git pull` instead of `git -pull`, right? Doing instead of make sounds better as well.