git mirror at sources.redhat.com down?

[Hans-Peter Nilsson]

On Sat, 27 Oct 2012, Andreas Schwab wrote:
> Hans-Peter Nilsson <hp@bitrange.com> writes:
>
> > Consider what'd happen if you connect to a name-resolving proxy that
> > couldn't resolve sources.redhat.com and had flaws in error handling.
>
> Then you wouldn't have the sourceware IP.

Maybe they resolve to the same IP for you.

But, to confirm cgf's observation on overseers@, it doesn't here too:

sourceware.org.         62834   IN      A       209.132.180.131
sources.redhat.com.     600     IN      A       209.132.183.64

(The latter being the quoted IP.)

brgds, H-P