Hi, On Tue, 22 Apr 2008, Jeff King wrote: > OTOH, if you are using non-separate-remote layout, I think it makes > sense to _not_ have the "+". OTOOH, when you call the option --mirror, > it makes me think of "push --mirror" which implies "+". I am glad somebody else than me finds this to be a dilemma. Ciao, 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
