Hi, On Tue, 22 Apr 2008, Teemu Likonen wrote: > Johannes Schindelin wrote (2008-04-22 13:56 +0100): > > > With the --mirror mode, you can no longer discern clearly between > > local and remote branches. This is basically what we had in the > > beginning, before the "separate remotes layout". > > Hmm, to me it looks like --mirror is for mirroring remote repository and > hence the "+" makes sense in here too. It's like "I want to make my > repository a copy of that remote repository" hence the name 'mirror'. > It'll possibly overwrite local branches but in my way of thinking > mirroring implies that possibility. The 'git remote' manual says that > --mirror "only makes sense in bare repositories", so the manual seems to > guide towards not having local working directory nor changes. Okay, how about this: take Peff's patch, but add a warning if --mirror is used on a non-bare repository? 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
