From: Janek Warchoł <janek.lilypond@gmail.com>
Date: Wed, 8 Feb 2012 08:34:06 +0000 (+0100)
Subject: CG: username isn't shown when pulling using ssh
X-Git-Tag: release/2.15.29-1~6
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=2509d01820483ff55aa6972d6d0523ea33b5950d;p=lilypond.git

CG: username isn't shown when pulling using ssh

CG 3.4.10 point 7 mistakenly stated that when you
pull using ssh, git will display
From ssh://@var{user}@@git.sv.gnu.org/srv/git/lilypond
It displays From ssh://git.sv.gnu.org/srv/git/lilypond,
without username.
---

diff --git a/Documentation/contributor/source-code.itexi b/Documentation/contributor/source-code.itexi
index 9322e766da..ee20d3e76e 100644
--- a/Documentation/contributor/source-code.itexi
+++ b/Documentation/contributor/source-code.itexi
@@ -1875,7 +1875,7 @@ If @command{git@tie{}pull@tie{}--verbose} succeeds, the output
 will include a @q{From} line that shows @q{ssh} as the protocol:
 
 @example
-From ssh://@var{user}@@git.sv.gnu.org/srv/git/lilypond
+From ssh://git.sv.gnu.org/srv/git/lilypond
 @end example
 
 If the protocol shown is not @q{ssh}, check that you configured