diff options
author | Elijah Newren <newren@gmail.com> | 2023-10-08 09:45:24 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-10-09 22:06:44 +0300 |
commit | 4d542687fcea27c6cce9a79415ad8cb1a817697c (patch) | |
tree | e72600a6fffb78f19714ea08ea4212cedf0c1258 /Documentation/git-http-push.txt | |
parent | 42bdb80a084f1405f2e57394146c977ad4f3b75a (diff) |
documentation: add some commas where they are helpful
Diff best viewed with --color-diff.
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-http-push.txt')
-rw-r--r-- | Documentation/git-http-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-http-push.txt b/Documentation/git-http-push.txt index c0c841b9fd..ce0d808212 100644 --- a/Documentation/git-http-push.txt +++ b/Documentation/git-http-push.txt @@ -44,7 +44,7 @@ OPTIONS -d:: -D:: Remove <ref> from remote repository. The specified branch - cannot be the remote HEAD. If -d is specified the following + cannot be the remote HEAD. If -d is specified, the following other conditions must also be met: - Remote HEAD must resolve to an object that exists locally |