Andrew's git / gitweb.git / diff
?
user-manual: use 'remote add' to setup push URLs
authorW. Trevor King <wking@tremily.us>
Mon, 18 Feb 2013 00:15:53 +0000 (19:15 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Feb 2013 08:48:30 +0000 (00:48 -0800)
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>
No differences found