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 majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
