summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorAnders Melchiorsen <mail@cup.kalibalik.dk>2009-01-18 15:36:58 +0100
committerJunio C Hamano <gitster@pobox.com>2009-01-18 14:29:37 -0800
commit69274b6e8791824489eb5cf0a25b7577cd2a77c1 (patch)
treef21809907e4e338019f0d10213d60e156ccfa833 /Documentation
parent89edd5a90134fc265940499e33f431b1a7102693 (diff)
downloadgit-69274b6e8791824489eb5cf0a25b7577cd2a77c1.tar.gz
Documentation: avoid using undefined parameters
The <ref> parameter has not been introduced, so rewrite to avoid it. Signed-off-by: Anders Melchiorsen <mail@cup.kalibalik.dk> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/git-push.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index a7a6f4cdef..7b27dc60bd 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -50,8 +50,8 @@ even if it does not result in a fast forward update.
+
`tag <tag>` means the same as `refs/tags/<tag>:refs/tags/<tag>`.
+
-A parameter <ref> without a colon pushes the <ref> from the source
-repository to the destination repository under the same name.
+A lonely <src> parameter (without a colon and a destination) pushes
+the <src> to the same name in the destination repository.
+
Pushing an empty <src> allows you to delete the <dst> ref from
the remote repository.