undefined | Better HN

0 pointssatvikpendem1y ago0 comments

VSCode has it via their GitHub extension.

0 comments

2 comments · 1 top-level

masklinn1y ago· 1 in thread

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.

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.

j / k navigate · click thread line to collapse