Re: Question about 'branch -d' safety

On Mon, Jul 19, 2010 at 11:16:41AM -0600, Joshua Jensen wrote:

0000001 HEAD@{0}: (fake)checkout: moving from integration to master
(0000001)
8000000 HEAD@{1}: branch -d: Deleting integration
0000001 HEAD@{2}: (fake)checkout: moving from master to integration
(8000000)

That does not fit very well with the current definition of the HEAD
reflog.

But I do like the idea. We could append branch deletions to
.git/log/deleted, which otherwise behaves exactly like the HEAD
reflog.  And we simply do not keep the reflogs of deleted branches.

Clemens