Hi, On Tue, 25 Mar 2008, Jan Hudec wrote: > The proponents of this (and I also) think, that meaning of HEAD is, or > rather should be, "the revision your work tree is derived from". By far the most operation I do with HEAD is to _advance_ it. So for me, HEAD must be a pointer to the ref which is to be advanced. I don't care about detaching the HEAD when pushing into the current branch, which you are not supposed to do anyway. Really. I could not care less about that. You can do it -- I already pointed out that you can do that with hooks -- but please do not bother me with it. Hth, 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
