gcc-wwwdocs branch master updated. 2c7ec979b25dcea145daa4c490c12925ea9d2487

gcc-wwwdocs branch master updated. 2c7ec979b25dcea145daa4c490c12925ea9d2487

[schwab]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  2c7ec979b25dcea145daa4c490c12925ea9d2487 (commit)
      from  10da210590e8966a6c14aea0b1c13c58484b5224 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 2c7ec979b25dcea145daa4c490c12925ea9d2487
Author: Andreas Schwab <schwab@linux-m68k.org>
Date:   Wed Jan 15 15:56:30 2020 +0100

    Use canonical command to set remote URL

diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index 3cda6a46..87a18fa7 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -71,10 +71,10 @@ git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git gcc
 <p>where <i>username</i> is your user name at gcc.gnu.org.</p>
 
 <p>It is also possible to convert an existing Git tree to use SSH by
-using <code>git config</code>:</p>
+using <code>git remote</code>:</p>
 
 <blockquote><p><code>
-git config remote.origin.url git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git
+git remote set-url origin git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git
 </code></p></blockquote>
 
 <p>To avoid the nuisance of having to supply your passphrase for each

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gitwrite.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs