From: Paolo Bonzini <bonzini@gnu.org>
Date: Tue, 22 Apr 2008 14:10:47 GMT
Subject: Re: git remote update -> rejected
Message-ID: <480DF1E7.5040900@gnu.org>
In-Reply-To: <20080422140440.GC3098@mithlond.arda.local>


>> Okay, how about this: take Peff's patch, but add a warning if --mirror
>> is used on a non-bare repository?
> 
> Sounds good to me. Indeed, giving a warning is _very_ good idea as
> --mirror is potentially, even likely, destructive with local changes and
> working directory.

What about changing --mirror to add a push line instead of a fetch line?

Paolo