On Wed, 2019-10-09 at 15:06 +0000, Joseph Myers wrote: > On Tue, 8 Oct 2019, Frank Ch. Eigler wrote: > > > Hi - > > > > Thanks - good job with moving this to git!
+1 > > > Note 1: someone with the right access needs to create the > > > symlink > > > /sourceware/git/gcc-wwwdocs.git -> > > > /sourceware/projects/gcc-home/wwwdocs.git (and anything else > > > needed for > > > anonymous git access to that repository). > > > > Done. > > Thanks! I've now updated the instructions to use the shorter path to > the > repository and restored the documentation of anonymous access. > > diff --git a/htdocs/about.html b/htdocs/about.html > index 30a5c943..019b6fbd 100644 > --- a/htdocs/about.html > +++ b/htdocs/about.html > @@ -54,10 +54,12 @@ a higher chance of being implemented soon. ;- > )</p> > and SSH installed, you can check out the web pages as follows:</p> > > <ol> > - <li><code>git clone git+ssh://<i>username</i>@gcc.gnu.org/sourcewar > e/projects/gcc-home/wwwdocs.git</code>; > + <li><code>git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc-w > wwdocs.git</code>; > where <i>username</i> is your user name at gcc.gnu.org</li> > </ol> > > +<p>For anonymous access, use > +<code>git://gcc.gnu.org/git/gcc-wwwdocs.git</code> instead.</p> > > <h3>Validating a change</h3> Is there a web UI for viewing this new git repo? I don't see it listed at: https://gcc.gnu.org/git/ (or would adding it there complicate the migration of the main repo?) Thanks. Dave