Hi, On Thu, 14 Feb 2008, Nicolas Pitre wrote: > 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
