How about putting some tought into not naming operations so that `pull` is not the opposite of `push`. Don't you think the merge histories of all the repos thr

How about putting some tought into not naming operations so that `pull` is not the opposite of `push`. Don't you think the merge histories of all the repos throughout the globe would be greatly improved if people didn't need to learn the hard way that if your colleague does `push` you need to `fetch`?