And that can be used online, replace `GitHub.com` by `GitHub.dev` on a PR and it... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

masklinn on July 15, 2024 | parent | context | favorite | on: Git-PR: patch requests over SSH

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 on July 15, 2024 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact