From: Michael S. Tsirkin <hidden> Date: 2016-06-15 22:42:49
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