Hi,

On Tue, 22 Apr 2008, Teemu Likonen wrote:

quoted text
> 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@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html