On Sun, 7 Aug 2005, Junio C Hamano wrote:
> Also ORIG_HEAD is probably redundant. After a successful
> automerge, the same information can be had by HEAD^1
You forgot about one of the most common merge cases: fast-forward.
In fact, ORIG_HEAD is _the_ most common head I use explicitly. Almost all
operations take HEAD as default, but doing a
is extremely useful after a pull.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html