commit | 57b92a77a0aeff49e82cc0bfd14eac9313683766 | [log] [tgz] |
---|---|---|
author | Michael J Gruber <git@drmicha.warpmail.net> | Tue Jan 27 13:35:53 2015 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Jan 28 12:56:06 2015 -0800 |
tree | d734438de5c09df6a93ce9fac214e60d56ab2576 | |
parent | 282616c72d1d08a77ca4fe1186cb708c38408d87 [diff] |
git-push.txt: document the behavior of --repo As per the code, the --repo <repo> option is equivalent to the <repo> argument to 'git push', but somehow it was documented as something that is more than that. [It exists for historical reasons, back from the time when options had to come before arguments.] Say so. [But not that.] Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net> Helped-by: Eric Sunshine <sunshine@sunshineco.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>