Quoting Johannes Schindelin <Johannes.Schindelin@xxxxxx>: > Hi, > > On Fri, 6 Jun 2008, Paolo Bonzini wrote: > >> > What about people preferring the status quo? I think a command line >> > option would be in order.' >> >> config option seems more useful. > > Except, of course, if you have a script that wants to override whatever > the user set in her config. But I think that is not an issue. Isn't "git branch" a Porcelain? -- Nanako Shiraishi http://ivory.ap.teacup.com/nanako3/ ---------------------------------------------------------------------- Get a free email account with anti spam protection. http://www.bluebottle.com/tag/2 -- 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