# [PATCH] Docs: Describe omitted behavior in a prominent place 2 messages from 2010-04-06 to 2010-04-08. Participants: Ori Avtalion. Thread: https://gitlist.dev/t/23361 ## Ori Avtalion, 2010-04-06 19:32 Subject: [PATCH] Docs: Describe omitted behavior in a prominent place Message-ID: <4bbb8fa3.0f1abc0a.2383.7991@mx.google.com> URL: https://gitlist.dev/e/4bbb8fa3.0f1abc0a.2383.7991%40mx.google.com ``` The documentation of which repository is pushed to when the repository flag is omitted was only mentioned under the --repo flag. It is now described under the argument. Signed-off-by: Ori Avtalion --- Documentation/git-push.txt | 15 +++++++++------ 1 files changed, 9 insertions(+), 6 deletions(-) diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 59dc8b1..14d286e 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -31,6 +31,11 @@ OPTIONS[[OPTIONS]] operation. This parameter can be either a URL (see the section <> below) or the name of a remote (see the section <> below). ++ +If omitted, '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. This can be +overridden with the `--repo` option. ...:: The format of a parameter is an optional plus @@ -116,12 +121,10 @@ nor in any Push line of the corresponding remotes file---see below). --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 + passed in the invocation, and the current branch does not track + a remote branch. For this case, this option can be used to + override the name "origin". In other words, the difference + between these two commands + -------------------------- git push public #1 -- 1.7.0 ``` ## Ori Avtalion, 2010-04-08 18:07 Subject: Re: [PATCH] Docs: Describe omitted behavior in a prominent place Message-ID: <4BBE1B79.2090902@avtalion.name> URL: https://gitlist.dev/e/4BBE1B79.2090902%40avtalion.name In-Reply-To: <4bbb8fa3.0f1abc0a.2383.7991@mx.google.com> ``` On 04/06/2010 10:32 PM, Ori Avtalion wrote: > The documentation of which repository is pushed to when the repository > flag is omitted was only mentioned under the --repo flag. > > It is now described under the argument. Does anyone want to comment on this patch? It seems to get lost in the flood. ```