I was recently hit by an IPv4 routing outtage and had only IPv6 available to connect to the internet. I was therefore unable to connect to github.com, as there

I was recently hit by an IPv4 routing outtage and had only IPv6 available to connect to the internet. I was therefore unable to connect to github.com, as there is no IPv6 support available: % host github.com github.com has address 192.30.253.112 github.com has address 192.30.253.113