From 3f08ae73fe5ec340b7f5dd51566536d10f50cb82 Mon Sep 17 00:00:00 2001 From: Sun Seng David TAN Date: Tue, 19 Jan 2021 12:51:28 +0100 Subject: [PATCH] chore(devfile): use the new plugin id for the github pr plugin (#802) --- devfile.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devfile.yaml b/devfile.yaml index be5a64403..639bf063a 100644 --- a/devfile.yaml +++ b/devfile.yaml @@ -13,7 +13,7 @@ components: didact.defaultUrl: /projects/che-plugin-registry/.che-didact-guide.md registryUrl: 'https://che-plugin-registry-main.surge.sh/v3' - - id: ms-vscode/vscode-github-pullrequest/latest + - id: github/vscode-pull-request-github/latest type: chePlugin registryUrl: 'https://che-plugin-registry-main.surge.sh/v3'