Re: [PATCH] git-gui: give more advice when detaching HEAD
- From
Sverre Rabbelier <srabbelier@gmail.com>
- Date
- Feb 13, 2011, 00:05 UTC
- Message-ID
- <AANLkTi=3m3pvciKXgUXGffsA9xDddTum5mhWBoaWA3o+@mail.gmail.com>
- In-Reply-To
- <7voc6hy771.fsf@alter.siamese.dyndns.org>
Heya,
On Sat, Feb 12, 2011 at 09:42, Junio C Hamano <gitster@pobox.com> wrote:
> That way, the traversal will terminate much sooner than computing the true > merge base.
Since we want to use this in git-gui, do you intend to expose this as a command somehow (e.g. 'git rev-parse --reachable HEAD --all' or somesuch)?
-- Cheers, Sverre Rabbelier