We’re currently troubleshooting a series of DNS problems that may be disrupting service for customers on several servers. We’ll update this post when we have more information.
2014-10-30 16:22 UTC: We’ve rebooted web302 to test a possible fix.
2014-10-30 17:53 UTC: A permanent solution to this issue is forthcoming. In the meantime, we’ve made a temporary change to our resolving DNS configuration to prevent further disruptions of service.