If it was, then surely it would be something like @mastodon@github.com or @official@github.com? Just like with emails, you wouldn't expect official emails to be somewhere else.
And no, that doesn't mean everyone needs a full blown Mastodon server, I think just some sort of ActivityPub relay or a more lightweight server implementation would do.
> If it was, then surely it would be something like @mastodon@github.com or @official@github.com?
How would you even run Mastodon on a domain that is also expected to be an actual website? AFAIK it doesn't even have a DNS record to point it at a different address.
If it was, then surely it would be something like @mastodon@github.com or @official@github.com? Just like with emails, you wouldn't expect official emails to be somewhere else.
And no, that doesn't mean everyone needs a full blown Mastodon server, I think just some sort of ActivityPub relay or a more lightweight server implementation would do.