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>
W. Trevor King committed
Feb 17, 2013 at 19:15 UTC
e9b4908302c659251a47ce440676cb3b0d65b8af
1 file changed
+10
-5
Documentation/user-manual.txt
+10
-5
@@ -1992,16 +1992,21 @@ will not be updated by the push. This may lead to unexpected results if
1992
the branch you push to is the currently checked-out branch!
1993
1994
As with `git fetch`, you may also set up configuration options to
1995
-save typing; so, for example, after
1995
+save typing; so, for example:
1996
+
1997
+-------------------------------------------------
1998
+$ git remote add public-repo ssh://yourserver.com/~you/proj.git
1999
+-------------------------------------------------
2000
+
2001
+adds the following to `.git/config`:
2002
2003
-------------------------------------------------
1998
-$ cat >>.git/config <<EOF
2004
[remote "public-repo"]
2000
- url = ssh://yourserver.com/~you/proj.git
2001
-EOF
2005
+ url = yourserver.com:proj.git
2006
+ fetch = +refs/heads/*:refs/remotes/example/*
2007
-------------------------------------------------
2008
2004
-you should be able to perform the above push with just
2009
+which lets you do the same push with just
2010
2011
-------------------------------------------------
2012
$ git push public-repo master