3 ms·

If you review PRs as whole, you don't need to use the web interface. I think it only gets harder when you want to do inline comments. At least that's what the d

If you review PRs as whole, you don't need to use the web interface. I think it only gets harder when you want to do inline comments. At least that's what the docs for github cli suggest. https://cli.github.com/manual/gh_pr_review https://cli.github.com/manual/gh_pr_review It does seem like it would be hard to support inline comments properly outside of an email quoting context without editor integration.

j5155 2y 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.
- satvikpendem 2y ago
  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.