Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-28 Thread Eric Sunshine
On Wed, Jan 28, 2015 at 3:12 PM, Junio C Hamano gits...@pobox.com wrote: Eric Sunshine sunsh...@sunshineco.com writes: + This option is equivalent to the repository argument; the latter + wins if both are specified. To what does latter refer in this case? (I presume it means the

Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-28 Thread Prem Muthedath
Hello Junio, Michael -- thanks much for clearing this up for me. Appreciate your time. If the --repo option works just like the repository argument to git push, then I would suggest -- just as Junio has done -- that you deprecate this option. Otherwise, it would confuse users. There is also a

Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-28 Thread Junio C Hamano
Eric Sunshine sunsh...@sunshineco.com writes: On Wed, Jan 28, 2015 at 3:12 PM, Junio C Hamano gits...@pobox.com wrote: Eric Sunshine sunsh...@sunshineco.com writes: + This option is equivalent to the repository argument; the latter + wins if both are specified. To what does

Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-28 Thread Junio C Hamano
Eric Sunshine sunsh...@sunshineco.com writes: + This option is equivalent to the repository argument; the latter + wins if both are specified. To what does latter refer in this case? (I presume it means the standalone repository argument, though the text feels ambiguous.) Also,

Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-27 Thread Junio C Hamano
Michael J Gruber g...@drmicha.warpmail.net writes: As per the code, the --repo repo option is equivalent to the repo 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

Re: [PATCH] git-push.txt: document the behavior of --repo

2015-01-27 Thread Eric Sunshine
On Tue, Jan 27, 2015 at 7:35 AM, Michael J Gruber g...@drmicha.warpmail.net wrote: As per the code, the --repo repo option is equivalent to the repo argument to 'git push'. [It exists for historical reasons, back from the time when options had to come before arguments.] Say so. [But not

[PATCH] git-push.txt: document the behavior of --repo

2015-01-27 Thread Michael J Gruber
As per the code, the --repo repo option is equivalent to the repo 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 g...@drmicha.warpmail.net --- Thanks for digging up