Steve Hoelzer <shoelzer@xxxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
