diff options
author | Anders Melchiorsen <mail@cup.kalibalik.dk> | 2009-01-18 15:36:56 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-01-18 14:27:03 -0800 |
commit | 391d186babf9761f73d367c7325bc5c3d4e1495d (patch) | |
tree | 3ec5dc59c4138cce5dad0b54f9c8dbb3979a3f1b | |
parent | 98347fee9bbff2676dff39895f9419b129d92e43 (diff) | |
download | git-391d186babf9761f73d367c7325bc5c3d4e1495d.tar.gz git-391d186babf9761f73d367c7325bc5c3d4e1495d.tar.xz |
Documentation: remove a redundant elaboration
The comment in parentheses is wrong, as one has to leave out both the
colon and <dst>. This situation is covered by the section a few lines
down:
A parameter <ref> without a colon pushes the <ref> from the source
repository to the destination repository under the same name.
So, just remove the parentheses.
Signed-off-by: Anders Melchiorsen <mail@cup.kalibalik.dk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Documentation/git-push.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 8bfa7cb7e..6d3c711de 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -44,8 +44,7 @@ tip of `master` branch); see linkgit:git-rev-parse[1]) that you want to push. The <dst> side represents the destination location. + The local ref that matches <src> is used -to fast forward the remote ref that matches <dst> (or, if no <dst> was -specified, the same ref that <src> referred to locally). If +to fast forward the remote ref that matches <dst>. If the optional leading plus `+` is used, the remote ref is updated even if it does not result in a fast forward update. + |