From: Julia Evans via GitGitGadget Date: Fri, 12 Sep 2025 18:55:08 GMT Subject: [PATCH v2 3/4] doc: git-push: clarify "where to push" Message-ID: <374740c678a62edd5cb5bace7517a36ce7ac00b5.1757703309.git.gitgitgadget@gmail.com> In-Reply-To: From: Julia Evans Be clearer about what we're describing ("which repository" instead of "what to push"), and start with a positive "try X, then Y, then Z" instead of a negative ("if X is not specified.."). Signed-off-by: Julia Evans --- Documentation/git-push.adoc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Documentation/git-push.adoc b/Documentation/git-push.adoc index ec396b4cf2..909c69766c 100644 --- a/Documentation/git-push.adoc +++ b/Documentation/git-push.adoc @@ -22,10 +22,10 @@ DESCRIPTION Updates one or more branches, tags, or other references in a remote repository from your local repository. -When the command line does not specify where to push with the -`` argument, `branch.*.remote` configuration for the -current branch is consulted to determine where to push. If the -configuration is missing, it defaults to 'origin'. +To decide which repository to push to, Git uses the `` +argument (for example `git push dev`), then if that's not specified the +upstream configuration for the current branch, and then defaults +to `origin`. When the command line does not specify what to push with `...` arguments or `--all`, `--mirror`, `--tags` options, the command finds -- gitgitgadget