diff --git a/patches/use-github-extensions.patch b/patches/use-github-extensions.patch new file mode 100644 index 0000000..2e74ac1 --- /dev/null +++ b/patches/use-github-extensions.patch @@ -0,0 +1,12 @@ +diff --git a/build/gulpfile.extensions.js b/build/gulpfile.extensions.js +--- a/build/gulpfile.extensions.js ++++ b/build/gulpfile.extensions.js +@@ -223,7 +223,7 @@ const cleanExtensionsBuildTask = task.define('clean-extensions-build', util.rimr + const compileExtensionsBuildTask = task.define('compile-extensions-build', task.series( + cleanExtensionsBuildTask, + task.define('bundle-extensions-build', () => ext.packageLocalExtensionsStream(false).pipe(gulp.dest('.build'))), +- task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream(false, product.extensionsGallery?.serviceUrl).pipe(gulp.dest('.build'))), ++ task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream(false).pipe(gulp.dest('.build'))), + )); + + gulp.task(compileExtensionsBuildTask);