aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnders Melchiorsen <mail@cup.kalibalik.dk>2009-01-18 15:36:57 +0100
committerJunio C Hamano <gitster@pobox.com>2009-01-18 14:27:52 -0800
commit89edd5a90134fc265940499e33f431b1a7102693 (patch)
treeed5e2f4a17ce7b6be8125c5bf803b88fbc3b8663
parent391d186babf9761f73d367c7325bc5c3d4e1495d (diff)
downloadgit-89edd5a90134fc265940499e33f431b1a7102693.tar.gz
git-89edd5a90134fc265940499e33f431b1a7102693.tar.xz
Documentation: mention branches rather than heads
The "matching refs" semantics works only on matching branches these days. Instead of using "heads" which traditionally has been used more or less interchangeably with "refs", say "branch" explicitly here. Signed-off-by: Anders Melchiorsen <mail@cup.kalibalik.dk> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-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 6d3c711de..a7a6f4cde 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -57,8 +57,8 @@ Pushing an empty <src> allows you to delete the <dst> ref from
the remote repository.
+
The special refspec `:` (or `+:` to allow non-fast forward updates)
-directs git to push "matching" heads: for every head that exists on
-the local side, the remote side is updated if a head of the same name
+directs git to push "matching" branches: for every branch that exists on
+the local side, the remote side is updated if a branch of the same name
already exists on the remote side. This is the default operation mode
if no explicit refspec is found (that is neither on the command line
nor in any Push line of the corresponding remotes file---see below).