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 /ppc | |
| parent | Documentation: git push repository can also be a remote (diff) | |
| download | tgif-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>
Diffstat (limited to 'ppc')
0 files changed, 0 insertions, 0 deletions