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 9322e766da9edb243e5fb6f08f95c7fa436c71c2..ee20d3e76e1b64891ea463c8b4c28155e3876f54 100644 (file)
--- 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