The conclusions from the last time we discussed this [*1*], the last word was that git push $some_opt... --repo=$Repo $more_opt... $args... is designed to work exactly like git push $some_opt... $more_opt... $Repo $args... and the documentation that says otherwise is incorrect. It seems that we never followed up on this after we made that determination, which is unfortunate. We should at least correct the documentation. [Reference] *1* http://thread.gmane.org/gmane.comp.version-control.git/110827/focus=111715 -- 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