Re: Keeping reflogs on branch deletion

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Feb 14, 2008, 15:08 UTC
Message-ID: <alpine.LSU.1.00.0802141505440.30505@racer.site>
In-Reply-To: <alpine.LFD.1.00.0802140945520.2732@xanadu.home>

Hi,

On Thu, 14 Feb 2008, Nicolas Pitre wrote:

Show 13 quoted lines

> On Thu, 14 Feb 2008, Brian Downing wrote:
> 
> > When deleting a branch, is there any reason we can't add a deletion 
> > entry into the reflog and keep the reflog around?  This would seem to 
> > be a lot safer; I know I've been burned by expecting the reflog safety 
> > net to be there, and surprised that it's not when I've deleted a 
> > branch.
> 
> No.  That would only accumulate dead reflog files in the repository.
> 
> And as Junio said above, the "HEAD" reflog contains everything you moved 
> to, including detached heads, and of course branch heads that might now 
> be deleted.  You can easily retrieve a deleted branch head from there.

Note that you do not necessarily update branches while they are HEAD:

	$ git push . to-fast-forward:HEAD

But that's too fabricated an example, I guess.

So I agree that HEAD reflog is enough.

Ciao, Dscho