Then I’d simply add GitHub domains to my NIP05 filter?

Not sure how the Tor version works or what that NIP05 would look like?