From: Mark Levedahl <mdl123@verizon.net>
Date: Mon, 13 Aug 2007 01:10:38 GMT
Subject: Re: [PATCH] gitk - dont warn when deleting synonym for current head
Message-ID: <46BFAF8E.1000508@verizon.net>
In-Reply-To: <18111.39773.231609.306547@cargo.ozlabs.ibm.com>

Paul Mackerras wrote:
> Mark Levedahl writes:
>
>   
> Do you mean that HEAD was a direct ref to the same commit as the
> branch you were deleting, or that HEAD pointed to the branch you were
> deleting?  I.e. what was in .git/HEAD, a commit ID or a branch name?
>
> If the latter, then I think gitk was correct to warn, since you'll end
> up with .git/HEAD pointing to a non-existent branch, won't you?
>   
current checked out branch = master
HEAD contains ref: refs/heads/master
foo points to the same commit as master
I attempted to delete foo.

Note: the context menu does not allow deleting the currently checked out 
branch, so the referenced check is irrelevant to that.

Mark