Re: GCC wwwdocs move to git done

[David Malcolm <dmalcolm@redhat.com>]

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