Re: How to merge FETCH_HEAD?

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