diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-08-24 09:32:33 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-08-24 09:32:33 -0700 |
| commit | 2f8aa2c3a0236c90a505364ddd4a463fd48bafbc (patch) | |
| tree | ede66fbbd0926cc3b3b7157621be51e1576a7ee9 /Documentation/git-push.txt | |
| parent | 987a85accbaf607e3f741cab780a4c1b43433dc6 (diff) | |
| parent | fd3ba590d87145628f8ec9b00d800c652418954b (diff) | |
| download | git-2f8aa2c3a0236c90a505364ddd4a463fd48bafbc.tar.gz | |
Merge branch 'ws/git-push-doc-grammofix'
Doc update.
* ws/git-push-doc-grammofix:
git-push.txt: fix grammar
Diffstat (limited to 'Documentation/git-push.txt')
| -rw-r--r-- | Documentation/git-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 297927d866..5b4edaf4a8 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -37,7 +37,7 @@ the default `<refspec>` by consulting `remote.*.push` configuration, and if it is not found, honors `push.default` configuration to decide what to push (See linkgit:git-config[1] for the meaning of `push.default`). -When neither the command-line nor the configuration specify what to +When neither the command-line nor the configuration specifies what to push, the default behavior is used, which corresponds to the `simple` value for `push.default`: the current branch is pushed to the corresponding upstream branch, but as a safety measure, the push is |