Nicolas Pitre <nico@xxxxxxx> writes: >> 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. I agree. - 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