From: Eric Sunshine Date: Tue, 27 Jan 2015 22:07:19 GMT Subject: Re: [PATCH] git-push.txt: document the behavior of --repo Message-ID: In-Reply-To: On Tue, Jan 27, 2015 at 7:35 AM, Michael J Gruber wrote: > As per the code, the --repo option is equivalent to the > argument to 'git push'. [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 > --- > diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt > index ea97576..0ad31c4 100644 > --- a/Documentation/git-push.txt > +++ b/Documentation/git-push.txt > @@ -219,22 +219,8 @@ origin +master` to force a push to the `master` branch). See the > `...` section above for details. > > --repo=:: > - This option is only relevant if no argument is > - passed in the invocation. In this case, 'git push' derives the > - remote name from the current branch: If it tracks a remote > - branch, then that remote repository is pushed to. Otherwise, > - the name "origin" is used. For this latter case, this option > - can be used to override the name "origin". In other words, > - the difference between these two commands > -+ > --------------------------- > -git push public #1 > -git push --repo=public #2 > --------------------------- > -+ > -is that #1 always pushes to "public" whereas #2 pushes to "public" > -only if the current branch does not track a remote branch. This is > -useful if you write an alias or script around 'git push'. > + This option is equivalent to the argument; the latter > + wins if both are specified. To what does "latter" refer in this case? (I presume it means the standalone argument, though the text feels ambiguous.) Also, both the standalone argument and the right-hand-side of --repo= are spelled "", so there may be potential for confusion when talking about (despite the subsequent "argument"). Perhaps qualifying it as "_standalone_ argument" might help. > -u:: > --set-upstream:: > -- > 2.3.0.rc1.222.gae238f2