On Jan 14 2020, Joseph Myers wrote: > diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html > index 85a0da2d..f420fe22 100644 > --- a/htdocs/gitwrite.html > +++ b/htdocs/gitwrite.html > @@ -78,7 +78,7 @@ git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git > gcc > using <code>git config</code>:</p> > > <blockquote><p><code> > -git config --set remote.origin.url > git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git > +git config remote.origin.url > git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git
The canonical way is to use git remote. Andreas. 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 -- 2.25.0 -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
