Re: git remote update -> rejected
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 22, 2008, 13:49 UTC
- 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:
Show 13 quoted lines
> 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