We had an internal DNS outage (the DNS server was Red Hat-controlled)
Red Hat people have currently put in a temporary fix for the problem.
Mike sent an email about separating our DNS in the future: https://www.redhat.com/archives/fedora-infrastructure-list/2009-February/msg00125.html
to comment on this ticket.
Copyright © 2014-2017 Red Hat
2.13.2 — Documentation