diff options
| author | Michael J Gruber <git@drmicha.warpmail.net> | 2015-01-27 13:35:53 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-01-28 12:56:06 -0800 |
| commit | 57b92a77a0aeff49e82cc0bfd14eac9313683766 (patch) | |
| tree | d734438de5c09df6a93ce9fac214e60d56ab2576 /t/valgrind | |
| parent | 282616c72d1d08a77ca4fe1186cb708c38408d87 (diff) | |
| download | git-57b92a77a0aeff49e82cc0bfd14eac9313683766.tar.gz git-57b92a77a0aeff49e82cc0bfd14eac9313683766.tar.xz | |
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>
Diffstat (limited to 't/valgrind')
0 files changed, 0 insertions, 0 deletions