Re: [PATCH] Detached HEAD (experimental)
- From
Nicolas Pitre <nico@cam.org>
- Date
- Jan 10, 2007, 01:15 UTC
- Message-ID
- <Pine.LNX.4.64.0701092014390.4964@xanadu.home>
- In-Reply-To
- <20070110003433.GH30023@spearce.org>
On Tue, 9 Jan 2007, Shawn O. Pearce wrote:
Show 21 quoted lines
> Jakub Narebski <jnareb@gmail.com> wrote: > > Shawn O. Pearce wrote: > > > > > In my mind that is a small price to pay for making sure the > > > commit currently in a detached HEAD doesn't get orphaned off > > > into never-never land. > > > > By the way, would detached HEAD be reflogged, and if it would > > (and certainly it would be nice to have, because protection or > > not sh*t happens) how it would be implemented? > > Ohhhhh. It should reflog if .git/logs/HEAD exists, so long as > changes to HEAD are done via update-ref and not just by echo (as > one of Junio's versions of the feature had done). > > Unfortunately .git/logs/HEAD wouldn't be created by default as its > not under refs/heads or refs/remotes. Though it could be made to be > on by default, in which case it would only log changes while HEAD > is detached. If HEAD is attached to a branch then .git/logs/HEAD > wouldn't be appended to (or even created), while the branch's own > log is still appended to.
Is this worth the trouble and complexity? After all detached heads are not meant to be used for serious development.
Nicolas