git-pull = git-fetch + git-merge
Stop using git-pull
Just use git-fetch exactly the same way
It gets the same arguments
It fetches the same things
But it doesn't do a merge
