Re: best git practices, was Re: Git User's Survey 2007 unfinished summary continued

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Oct 25, 2007, 10:07 UTC
Message-ID: <Pine.LNX.4.64.0710251106110.25221@racer.site>
In-Reply-To: <472048EB.1000707@op5.se>

Hi,

On Thu, 25 Oct 2007, Andreas Ericsson wrote:

Show 12 quoted lines

> 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