idea for header filter sources.redhat.com -> sourceware.org

[Christopher Faylor]

On Fri, Jun 03, 2005 at 11:51:19PM +0200, Gerald Pfeifer wrote:
>On Fri, 3 Jun 2005, Christopher Faylor wrote:
>> The system hasn't announced itself in Received headers as
>> "sources.redhat.com" for some time.  However, when it did, IIRC, RMS
>> did complain about the sources.redhat.com in the Received lines.
>
>I'm not completely sure, but I believe RMS does not have issues with
>sourceware.org appearing in some headers, and in addition to gcc.gnu.org
>that's all I could find in some quick checks of current messages on the 
>gcc lists.

Yes, IIRC, he didn't mind sourceware.org.

>Especially for the overseers list, it might be a good idea to replace
>sources.redhat.com by sourceware.org, not the least because it makes it
>more clear that Red Hat is not responsible for maintaining this system
>(and dealing with those "You need to remove my old posting from your
>web archives" inquiries and their rejection by the maintainers of the
>system).

Good idea.  I've changed the defaults for overseers to sourceware.org.

>Thanking Red Hat for donating hardware, power, bandwidth, etc. certainly 
>sounds like a good idea.  I wouldn't mind having a somewhat bigger note
>at http://www.sourceware.org/, though I think we should also thank the
>main maintainers of the system there.

I agree about Red Hat.  I truly don't care either way about thanking the
main maintainers.

Do you want to submit some words?

cgf