-
Bug
-
Resolution: Done
-
Major
-
CRW 2.5.0
-
devex docs #191 Oct 8-Oct 29, devex docs #194 Dec 7-Jan 4
-
1
-
-
Undefined
-
---
-
---
According to the documentation section: 2.2.4. Managing pull requests using the GitHub PR plug-in there is a phrase:
To manage GitHub pull requests, the VS Code GitHub Pull Request plug-in is available in the list of plug-ins of the workspace.
Plug-in list doesn't contain the following VS Code GitHub Pull Request plug-in, so it's not possible to check the following documentation section.
There is actually no upstream 'vscode-github-pullrequest' plugin in codeready-workspaces plugin registry repo.