diff options
author | Wesley Schwengle <wesleys@opperschaap.net> | 2023-08-09 21:21:05 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-08-09 21:08:10 -0700 |
commit | fd3ba590d87145628f8ec9b00d800c652418954b (patch) | |
tree | 1c5f2aa857dbde5e528fab7460c9d8836745c55c /Documentation/git-push.txt | |
parent | 0d1bd1dfb37ef25e1911777c94129fc769ffec38 (diff) | |
download | git-fd3ba590d87145628f8ec9b00d800c652418954b.tar.gz |
git-push.txt: fix grammar
While working on a blog post and using grammarly it suggested this
change.
Signed-off-by: Wesley Schwengle <wesleys@opperschaap.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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 5bb1d5aae2..dd559a0bcb 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 |