Re: No "pull" in git gui?
- From
Shawn O. Pearce <spearce@spearce.org>
- Date
- Sep 26, 2008, 14:49 UTC
- Message-ID
- <20080926144955.GB3669@spearce.org>
- In-Reply-To
- <588192970809260737i46ce0c30y191e29156bbf6396@mail.gmail.com>
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.