Messages in this thread | | | From | Linus Torvalds <> | Date | Fri, 30 Dec 2011 12:12:40 -0800 | Subject | Re: [GIT PULL REQUEST] watchdog - v3.1-rc7 - Fixes |
| |
On Fri, Dec 30, 2011 at 1:47 AM, Wim Van Sebroeck <wim@iguana.be> 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
| |