summaryrefslogtreecommitdiff
path: root/Documentation/user-manual.txt
diff options
context:
space:
mode:
authorW. Trevor King <wking@tremily.us>2013-02-18 00:15:53 (GMT)
committerJunio C Hamano <gitster@pobox.com>2013-02-18 08:48:30 (GMT)
commite9b4908302c659251a47ce440676cb3b0d65b8af (patch)
tree3a53ac922581a3c664a7b54db8134fc82d5aaa33 /Documentation/user-manual.txt
parentd32805dce7bdc45a3e4045e999fc5d56e3b46a82 (diff)
downloadgit-e9b4908302c659251a47ce440676cb3b0d65b8af.zip
git-e9b4908302c659251a47ce440676cb3b0d65b8af.tar.gz
git-e9b4908302c659251a47ce440676cb3b0d65b8af.tar.bz2
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 <wking@tremily.us> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
-rw-r--r--Documentation/user-manual.txt15
1 files changed, 10 insertions, 5 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 4cb8325..74dd82a 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 <<EOF
[remote "public-repo"]
- url = ssh://yourserver.com/~you/proj.git
-EOF
+ url = yourserver.com:proj.git
+ 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