Subject: Re: git remote update -> rejected

From: Paolo Bonzini <[email-masked]>
Date: Tue, 22 Apr 2008 16:10:47 +0200

>> 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