Hi, On Thu, 17 Apr 2008, Paolo Bonzini wrote: > This patch adds a remote.<foo>.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.<nick>.pushOptions? (This would be in line with the branch.<name>.mergeOptions config setting... Ciao, Dscho -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
