From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 14 Oct 2008 09:32:13 GMT
Subject: Re: [BUG?] git remote rm repo nukes local refs for mirror repo
Message-ID: <alpine.DEB.1.00.0810141131130.22125@pacific.mpi-cbg.de.mpi-cbg.de>
In-Reply-To: <48F460DB.9030209@drmicha.warpmail.net>

Hi,

On Tue, 14 Oct 2008, Michael J Gruber wrote:

> I just noticed the hard way that "git remote rm repo" nukes all local 
> (mirrored) refs if repo had been setup with "git remote add --mirror 
> repo url".
>
> Some may argue that this behaviour fits the description "deletes all 
> remote tracking branches" but I would claim it does not: mirrored 
> branches are not remote tracking branches in the proper sense.

Count me into the former group.  If you set up a "--mirror" repository, it 
defeats the purpose to mix that with _true_ local branches.

I'd color this a pilot error,
Dscho