Re: How to merge FETCH_HEAD?
- From
Junio C Hamano <junkio@cox.net>
- Date
- Jan 17, 2007, 06:14 UTC
- Message-ID
- <7vk5zmtc1n.fsf@assigned-by-dhcp.cox.net>
- In-Reply-To
- <20070117050955.GC4329@mellanox.co.il>
"Michael S. Tsirkin" <mst@mellanox.co.il> writes:
Show 5 quoted lines
>> 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?
Please try again, starting from the "git fetch".
I suspect the reason you think "merge FETCH_HEAD" does not work is because you lost FETCH_HEAD when you did "git pull . FETCH_HEAD", as I explained to you in an earlier message.