Re: git is live

On Thu, 2013-10-24 at 09:30 +0200, Andreas Schwab wrote:
> John Darrington <[email protected]> writes:
> 
> > It might also be a good idea to suggest a better system than this.
> > Most GNU projects update their own pages rather than request the
> > webmasters every time they need something changed.  I'm sure if
> > you asked them they would give you access.
> 
> AFAIK the gnu.org webpages are hosted in the savannah binutils project.

FYI the way the GNU project web pages work is that there's a separate
web CVS repository on Savannah for each project (binutils has one and
GDB has one) containing the content of the project directory, including
index.html, the manual, etc.

Anyone with proper SSH keys registered with the Savannah project to
commit to that CVS repository can update the web pages.  You just check
out a copy of the pages, change them, and "cvs commit" and the web site
is automatically updated.