Hacker News new | ask | show | jobs
by j5155 701 days ago
Some IDEs actually have GitHub PR integration (JetBrains ones) with full comment support. It is amazing and one of my favorite features by far.
1 comments

VSCode has it via their GitHub extension.
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.