Christopher Faylor <cgf@redhat.com> writes: > Why not remove all of the awful taint of sources.redhat.com and call it > toplevel-devtools@gnu.org? Or avoid introducing dependencies on the gnu.org maintainers, and use sourceware.org. Ian