Re: How to merge FETCH_HEAD?

Quoting Johannes Schindelin [off-list ref]:
Subject: Re: How to merge FETCH_HEAD?

Hi,

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

quoted

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.

But, that can not take FETCH_HEAD either.
Would it be useful for git-merge FETCH_HEAD to work?

-- 
MST