From e9b4908302c659251a47ce440676cb3b0d65b8af Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Sun, 17 Feb 2013 19:15:53 -0500 Subject: [PATCH] user-manual: use 'remote add' to setup push URLs 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` directly. Signed-off-by: W. Trevor King Signed-off-by: Junio C Hamano --- 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 4cb8325260..74dd82ab7a 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1992,16 +1992,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://yourserver.com/~you/proj.git +------------------------------------------------- + +adds the following to `.git/config`: ------------------------------------------------- -$ cat >>.git/config <