@@ -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