diff options
| author | W. Trevor King <wking@tremily.us> | 2013-02-17 19:15:53 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-02-18 00:48:30 -0800 |
| commit | e9b4908302c659251a47ce440676cb3b0d65b8af (patch) | |
| tree | 3a53ac922581a3c664a7b54db8134fc82d5aaa33 /Documentation | |
| parent | d32805dce7bdc45a3e4045e999fc5d56e3b46a82 (diff) | |
| download | git-e9b4908302c659251a47ce440676cb3b0d65b8af.tar.gz | |
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')
| -rw-r--r-- | Documentation/user-manual.txt | 15 |
1 files 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 <<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 |