From: "W. Trevor King" <>

There is no need to use here documents to setup this configuration.
It is easier, less confusing, and more robust to use `git remote add`

Signed-off-by: W. Trevor King <>
 Documentation/user-manual.txt | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 5077e7c..a060eb6 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1998,16 +1998,21 @@ will not be updated by the push.  This may lead to 
unexpected results if
 the branch you push to is the currently checked-out branch!
 As with `git fetch`, you may also set up configuration options to
-save typing; so, for example, after
+save typing; so, for example:
+$ git remote add public-repo ssh://
+adds the following to `.git/config`:
-$ cat >>.git/config <<EOF
 [remote "public-repo"]
-       url = ssh://
+       url =
+       fetch = +refs/heads/*:refs/remotes/example/*
-you should be able to perform the above push with just
+which lets you do the same push with just
 $ git push public-repo master

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to