From: Johannes Schindelin Date: Sat, 19 Apr 2008 17:33:50 GMT Subject: Re: [PATCH] Add a remote..mirror configuration option Message-ID: In-Reply-To: Hi, On Thu, 17 Apr 2008, Paolo Bonzini wrote: > This patch adds a remote..mirror configuration option that, > when set, automatically puts git-push in --mirror mode for that > remote. Would it not be more logical to have remote..pushOptions? (This would be in line with the branch..mergeOptions config setting... Ciao, Dscho