From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 27 Nov 2007 16:54:18 GMT
Subject: Re: What's cooking in git.git (topics)
Message-ID: <Pine.LNX.4.64.0711271652070.27959@racer.site>
In-Reply-To: <20071127164243.GE11731@fieldses.org>

Hi,

On Tue, 27 Nov 2007, J. Bruce Fields wrote:

> If we really want a fetch+rebase script, OK, but call it something other 
> than pull.

Why?  pull = fetch + merge only because that was the originally envisioned 
way to pull remote changes into your local working tree.  However, I do 
not see why we should be married to pull being a fetch and a merge for 
eternity.

Ciao,
Dscho