Hi,

On Thu, 25 Oct 2007, Andreas Ericsson wrote:

quoted text
> Jakub Narebski wrote:
> > On 10/24/07, Andreas Ericsson <ae@op5.se> wrote:
> > 
> > > git pull. Not git push. git pull operates on one working branch at a 
> > > time (by default), whereas git push uploads and fast-forwards all 
> > > the common branches (by default). I want git pull to work like git 
> > > push.
> > 
> > git push is opposite (almost) to git fetch, not to git pull.
> 
> Not to an end user that has no idea or desire to learn about git remotes 
> or anything else.

At some point you _have_ to expect your users to learn something.  In the 
git documentation, we never pretend that pull is anything else than "fetch 
+ merge".

So this assumption of your end user is a lack of training, really.

Ciao,
Dscho

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html