From: Ori Avtalion Date: Tue, 06 Apr 2010 19:32:29 GMT Subject: [PATCH] Docs: Describe omitted behavior in a prominent place Message-ID: <4bbb8fa3.0f1abc0a.2383.7991@mx.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