I guess they just rolled out their new DNS infrastructure (https://githubengineering.com/dns-infrastructure-at-github/ https://githubengineering.com/dns-infrast

I guess they just rolled out their new DNS infrastructure (https://githubengineering.com/dns-infrastructure-at-github/ https://githubengineering.com/dns-infrastructure-at-github/) :-P