Re: [PATCH] git-gui: give more advice when detaching HEAD
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 13, 2011, 23:10 UTC
- Message-ID
- <7v4o87wmxl.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <201102131022.06863.j6t@kdbg.org>
Johannes Sixt <j6t@kdbg.org> writes:
Show 13 quoted lines
>> 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)? > > What's wrong with checking the output of > > git rev-list -1 HEAD --not --branches --tags -- > > for zero length?
Nothing, except that (1) that approach won't catch refs outside heads and tags (like the ones I have in refs/merge-fixes and refs/hold), and (2) it won't have an early termination optimization I mentioned either.
I don't know how much the early termination optimization matter in practice, though. It would probably depend heavily on where you begin.