Skip to content
This repository was archived by the owner on Sep 20, 2026. It is now read-only.

Add stable branch to extension version - #4

Merged
francoism90 merged 1 commit into
masterfrom
extension-versions-stable
Sep 10, 2026
Merged

francoism90 merged 1 commit into
masterfrom
extension-versions-stable

Conversation

@francoism90

Copy link
Copy Markdown
Owner

Summary

  • Change com.visualstudio.code.tool's add-extensions entry from a single pinned version: '25.08' to versions: 'stable;25.08'.
  • Extensions installed under /app/tools (the com.visualstudio.code.tool extension point, scanned by code.sh for PATH/PYTHONPATH) only resolve if their published branch matches this manifest's version exactly. Accepting stable too means third-party tool extensions keep working across this manifest's own version bumps (e.g. 24.08 → 25.08) instead of silently disappearing until republished.

Cherry-picked from flathub/com.visualstudio.code#542 (open since 2024-10 with passing CI, never reviewed), updated from 24.08 to this repo's current 25.08.

Test plan

  • Confirm the manifest still builds
  • If you have a third-party com.visualstudio.code.tool extension installed, confirm it still resolves after this change

Switches com.visualstudio.code.tool's add-extensions entry from a
single pinned `version` to a `versions` list ('stable;25.08'), so
third-party VS Code tool extensions published to the `stable` branch
keep resolving after this manifest's own version bumps, instead of
silently stopping at /app/tools until the extension author republishes
to the new branch.

Cherry-picked from flathub#542 (open since
2024-10, passing CI, unreviewed), updated from 24.08 to this repo's
current 25.08.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@francoism90
francoism90 merged commit 43b91a2 into master Sep 10, 2026
1 check passed
@francoism90
francoism90 deleted the extension-versions-stable branch September 10, 2026 13:53

This branch had an error being deployed

1 failed deployment
github-pages — 25a6198e Deployed Sep 10, 2026 by francoism90 via Deploy #12
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.

1 participant