[DOCS] Please describe how to view a pull request from VSCode extension

[kahoot-karl]

Is your feature request related to a problem? Please describe.
I was trying to figure out how to view a Github Pull request through the VSCode extension. Looking at other issues, there should be a way, but it's not so clear. The docs mainly show how to view diff on files

[mmueller2012]

The SemanticDiff extension does not provide a direct integration with GitHub, but you can use it in combination with other extensions, such as the official GitHub Pull Requests extension. Just open the pull request using the extension and switch to SemanticDiff in the same way as you would for file diffs (might happen automatically depending on your settings).

We could mention this in the documentation, but the experience is currently quite limited. For example, you cannot add or view review comments, because the VS Code extension API does not provide such a feature and our feature request was denied. So we generally recommend our GitHub App for users interested in reviewing pull requests. The web app gives us much more control over the UI and allows us to implement features that would not be possible with the limited extension API of VS Code.

[kahoot-karl]

Thanks for the response! How can I use the VScode extension to view pull requests without adding review comments? I don't need many bells and whistles, I just want to try it out

[mmueller2012]

Open the pull request using the GitHub Pull Requests extension. You can find here more information on how to install and use the extension. Once you have selected a file from the PR, you can switch to SemanticDiff like this: