On Fri, Dec 30, 2011 at 1:47 AM, Wim Van Sebroeck <wim@xxxxxxxxx> wrote:
>
> I'll make sure that you get future requests in this format.
So if HEAD points to master now, I actually do prefer the version that
doesn't even mention it so that the merge commit message doesn't
contain noise that doesn't actually tell you anything remotely
interesting.
Of course, I should in fact just make git not even say that whole
"branch 'master'" thing if it's the default HEAD, and then it wouldn't
matter.
It's only if you do something odd and make HEAD point to a non-master
branch in a public repository (switching branches in a bare repository
is certainly possible, but why would you do that?) that the explicit
"master" suddenly becomes relevant.
Linus
--
To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
