Re: [PATCH] Replace contribution list in CONTRIBUTE file with wiki link

[Joel Brobecker <brobecker@adacore.com>]

> That has been the (mental) blocker for me thus far.  The webpages are
> still in CVS somewhere.  I never touched it myself.  
> Joel, can you guide us here?

There are two CVS repositories as you mentioned. One is on sourceware
(sourceware.org:/cvs/gdb/htdocs), and one is on Savannah. For now,
it is easier for me if you just send me the patch you want to commit,
and I do it. Otherwise, the re-synchronization on my end can be painful.

> AFAIK the current process is that commits go to both sourceware.org's CVS and
> to another copy in gnu.org as well for the https://www.gnu.org/software/gdb/ .
> I had chatted with Joel at the Cauldron about streamlining this, and the
> conclusion seemed to be that there's no real blocker for making the gnu.org
> version simply a redirect to sourceware.org.  That would simplify things.  The
> other neat step would be to migrate to git.  :-)  

Do you guys know who to ask to get the redirection?

And before we do, should we perhaps consider the opposite redirection?
In other words, redirect from sourceware.org to gnu.org/software/gdb?
One strong requirement before we can consider it is that Savannah first
support git repositories. It seems to be possible:

https://savannah.gnu.org/maintenance/UsingGit/

The secondary problem would then become - figuring out how to
automate the auto-update of the website upon pushing new changes.

The redirect to sourceware might make things easier, but it would
be a one-off action item, and then things would be on the GNU server.
Just not the best time for me to take on another task, unfortunately
:-(.

In the meantime, I'm happy to push changes sent to me. That part
just takes a couple of minutes each time.

-- 
Joel