Re: No "pull" in git gui?

["Shawn O. Pearce" <spearce@spearce.org>]

Steve Hoelzer <shoelzer@gmail.com> wrote:
> Why isn't there a pull command in git gui's remote menu?

I got lazy and didn't write support for it.  Before today nobody has
really asked me why it was missing so it seemed to be unimportant.

> Am I supposed to fetch and then merge?

Yes, that works.

> Is that preferred over pull for some reason?

I find it easier to teach new Git users "fetch + merge" rather
than pull.  It helps to reinforce the idea of having your own
local state that differs from the state on the upstream repository.
I consider pull to be more of a power-user feature.  But many in the
Git community disagree with me and find teaching pull is easier, with
fetch+merge being power user features.

So patches to add pull to git-gui would be accepted, but they won't
be getting written by me anytime soon.  I've got too much other
stuff going on to write a feature that isn't very interesting to me.

-- 
Shawn.