[RFC/www] Replace sources.redhat.com by sourceware.org?

[Nick Roberts]

Thiemo Seufer writes:
 > Daniel Jacobowitz wrote:
 > > On Mon, Dec 18, 2006 at 03:16:48PM +0400, Joel Brobecker wrote:
 > > > Hello,
 > > > 
 > > > I noticed that we are still refering to sources.redhat.com in the GDB
 > > > web pages. Shouldn't we be using sourceware.org instead? I can make
 > > > the change in the HTML, but I want to make sure it is desired first.
 > > 
 > > Yes, please do!
 > 
 > FWIW, CONTRIBUTE also still mentions gdb-patches@sources.redhat.com.

Unless I'm missing the point and the servers have already moved:

If Red Hat decide that they no longer want to host the GDB website/repository/
mailing lists will there be someone ready to step in and fill their place?  I,
for one, appreciate the superior hosting service that they provide over GNU
servers which are slower and generally less reliable.

-- 
Nick                                           http://www.inet.net.nz/~nickrob