There's even a keyboard shortcut to do that: from the Files view of a Repo on GitHub type a dot/period (.) and it will shuttle you from .com to .dev.