Skip to content

Use existing api for 'installExtensionsIfInstalledLocallyInRemote'#244053

Merged
joshspicer merged 3 commits intomainfrom
joshspicer/extensionsWorkbenchService
Mar 20, 2025
Merged

Use existing api for 'installExtensionsIfInstalledLocallyInRemote'#244053
joshspicer merged 3 commits intomainfrom
joshspicer/extensionsWorkbenchService

Conversation

@joshspicer
Copy link
Copy Markdown
Member

@joshspicer joshspicer commented Mar 19, 2025

@joshspicer joshspicer dismissed sandy081’s stale review March 20, 2025 17:38

made suggestion

@joshspicer joshspicer merged commit 781a356 into main Mar 20, 2025
8 checks passed
@joshspicer joshspicer deleted the joshspicer/extensionsWorkbenchService branch March 20, 2025 18:56
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators May 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants