Disabling old IP addresses

We’ve made some significant upgrades to the network infrastructure powering GitHub, and it’s time to turn off some of the old gear. We’ve updated DNS records to point at our…