-
Feature Request
-
Resolution: Done
-
Critical
-
2.4.0.GA
-
None
-
False
-
False
-
-
-
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 coderead-workspaces repo.
Also, ccopied from CRW-1417
- GitHub pull request plugin is in the upstream plugin registry but not in CRW one.
- We should also verify that the GH PR extension works as expected in CRW Theia.
- causes
-
CRW-1563 GitHub user can't sign in to GitHub from workspace
- Closed
- is cloned by
-
RHDEVDOCS-2224 EUG - [DOWNSTREAMING] Remove doc re: VS Code Github Pull Request plugin (as it's not in CRW)
- Closed
- is documented by
-
RHDEVDOCS-2224 EUG - [DOWNSTREAMING] Remove doc re: VS Code Github Pull Request plugin (as it's not in CRW)
- Closed
- is duplicated by
-
CRW-1417 Add GitHub pull request in the plugin registry
- Closed
- is related to
-
RHDEVDOCS-2481 Return the GitHub PR plug-in section in CRW docs - End of January
- Closed