From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 16 Jan 2007 21:36:12 GMT
Subject: Re: How to merge FETCH_HEAD?
Message-ID: <Pine.LNX.4.63.0701162235200.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20070116213340.GB4329@mellanox.co.il>

Hi,

On Tue, 16 Jan 2007, Michael S. Tsirkin wrote:

> Would it be useful to have git-pull . FETCH_HEAD work?

No. FETCH_HEAD is local. And for local merges, you should use git-merge, 
not git-pull.

Ciao,
Dscho