git: fetch and merge, don’t pull – Mark's BlogThis is too long and rambling, but to steal a joke from Mark Twain Blaise Pascal I haven’t had time to make it shorter yet. There is some discussion of this post on the git mailing list, but much of it is tangential to the points I’m trying to make here. One of the git tips that I find myself frequently passing on to people is: Don’t use git pull, use git fetch and then git merge. The problem wit
