From: Michael S. Tsirkin <mst@mellanox.co.il>
Date: Tue, 16 Jan 2007 17:37:18 GMT
Subject: How to merge FETCH_HEAD?
Message-ID: <20070116173706.GB20898@mellanox.co.il>
In-Reply-To: <20070116162645.GA18894@informatik.uni-freiburg.de>

OK, I did a fetch and now I can see remote history by

$git log FETCH_HEAD

But, how to merge it?

$ git pull . FETCH_HEAD
error: no such remote ref refs/heads/FETCH_HEAD
Fetch failure: .

$git merge FETCH_HEAD
FETCH_HEAD - not something we can merge

So, how can I merge this without an extra fetch?

-- 
MST