yup, that's what I meant. they can use different DNS providers, e.g. route53 AND dyn
there is nothing stopping you from having Route53 and $others as NS records for your domains. You just have to make sure they stay consistent. Apparently from the linked discussion, there are people offering scripts and services to do just that.
githubstatus.com instead of status.github.com
You could even through the domain on a free DNS service.
That's one of the reasons I setup a git -> Route53 setup at https://dns-api.com/