From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 22 Apr 2008 13:49:57 GMT
Subject: Re: git remote update -> rejected
Message-ID: <alpine.DEB.1.00.0804221449240.4460@eeepc-johanness>
In-Reply-To: <20080422133926.GB3098@mithlond.arda.local>

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