4 ms·

VSCode has it via their GitHub extension.

• masklinn 2y ago
  And that can be used online, replace `GitHub.com` by `GitHub.dev` on a PR and it’ll drop you in the web based vscode.
  • WorldMaker 2y ago
    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.