Uploaded image for project: 'Red Hat OpenShift Dev Spaces (formerly CodeReady Workspaces) '
  1. Red Hat OpenShift Dev Spaces (formerly CodeReady Workspaces)
  2. CRW-1226

Add VS Code GitHub Pull Request plug-in to CRW

    XMLWordPrintable

Details

    Description

      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.

      Attachments

        Issue Links

          causes

          Bug - A problem that impairs or prevents the functions of the product. CRW-1563 GitHub user can't sign in to GitHub from workspace

          • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
          • Closed
          is cloned by

          Bug - A problem that impairs or prevents the functions of the product. RHDEVDOCS-2224 EUG - [DOWNSTREAMING] Remove doc re: VS Code Github Pull Request plugin (as it's not in CRW)

          • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
          • Closed
          is documented by

          Bug - A problem that impairs or prevents the functions of the product. RHDEVDOCS-2224 EUG - [DOWNSTREAMING] Remove doc re: VS Code Github Pull Request plugin (as it's not in CRW)

          • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
          • Closed
          is duplicated by

          Feature Request - Feature requests from customers and/or users CRW-1417 Add GitHub pull request in the plugin registry

          • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
          • Closed
          is related to

          Enhancement - An enhancement to or refactoring of existing functionality that is not configurable by an end user (typically a change made by an internal team that affects users) RHDEVDOCS-2481 Return the GitHub PR plug-in section in CRW docs - End of January

          • Normal - To be worked after urgent and high priorities are resolved. This term is chosen when the severity of an issue is relatively close to the level of effort to fix it. The existence of an easily implemented workaround can also lead to this priority level instead of a higher priority.
          • Closed

          Activity

            People

              oshmarai Shmaraiev Oleksandr
              vzhukovs-1 Vladyslav Zhukovskyi (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              10 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: