diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-08-12 10:46:38 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-08-12 10:46:38 -0700 |
commit | 556b57eb47f042408d3669a27a0a60a50a7de4a8 (patch) | |
tree | 96a1342d92ac4a65164940f2eac8eff89ab39bec /git-push.txt | |
parent | b52664793b8af2208fdb1ec716b959e67c38ef7d (diff) | |
download | git-htmldocs-556b57eb47f042408d3669a27a0a60a50a7de4a8.tar.gz |
Autogenerated HTML docs for v2.23.0-rc2-8-gff669
Diffstat (limited to 'git-push.txt')
-rw-r--r-- | git-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-push.txt b/git-push.txt index 6a8a0d958..3b8053447 100644 --- a/git-push.txt +++ b/git-push.txt @@ -75,7 +75,7 @@ without any `<refspec>` on the command line. Otherwise, missing + If <dst> doesn't start with `refs/` (e.g. `refs/heads/master`) we will try to infer where in `refs/*` on the destination <repository> it -belongs based on the the type of <src> being pushed and whether <dst> +belongs based on the type of <src> being pushed and whether <dst> is ambiguous. + -- |