diff options
author | Anders Melchiorsen <mail@cup.kalibalik.dk> | 2009-01-18 15:36:58 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-01-18 14:29:37 -0800 |
commit | 69274b6e8791824489eb5cf0a25b7577cd2a77c1 (patch) | |
tree | f21809907e4e338019f0d10213d60e156ccfa833 /Documentation | |
parent | 89edd5a90134fc265940499e33f431b1a7102693 (diff) | |
download | git-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.txt | 4 |
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. |