> Quoting Johannes Schindelin <Johannes.Schindelin@xxxxxx>: > Subject: 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. But, that can not take FETCH_HEAD either. Would it be useful for git-merge FETCH_HEAD to work? -- MST - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html