Hi Joseph!

On 2019-10-09T00:27:38+0000, Joseph Myers <joseph@codesourcery.com> wrote:
> I've done the move of GCC wwwdocs to git

Thanks!  And now, ;-) as promised:

    # apt-get --purge remove cvs
    Reading package lists... Done
    Building dependency tree       
    Reading state information... Done
    The following packages will be REMOVED:
      cvs*
    0 upgraded, 0 newly installed, 1 to remove and 10 not upgraded.
    After this operation, 4706 kB disk space will be freed.
    Do you want to continue? [Y/n] 
    (Reading database ... 347879 files and directories currently installed.)
    Removing cvs (2:1.12.13+real-27) ...
    Processing triggers for install-info (6.5.0.dfsg.1-4+b1) ...
    Processing triggers for man-db (2.8.5-2) ...
    (Reading database ... 347817 files and directories currently installed.)
    Purging configuration files for cvs (2:1.12.13+real-27) ...
    Removing group `_cvsadmin' ...
    Done.


> --- a/htdocs/about.html
> +++ b/htdocs/about.html

> + <li><code>git clone git+ssh://<i>username</i>@gcc.gnu.org/sourceware/projects/gcc-home/wwwdocs.git</code>
> + where <i>username</i> is your user name at gcc.gnu.org</li>

Confirmed.


Grüße
 Thomas