Pull Upstream vscode-server Changes

Ports changes from rstudio/vscode-server into Positron as a single "upstream merge from vscode-server" commit. A full git merge is not possible — the two repos are parallel VSCode forks with no shared git ancestry — so changes are applied manually and bundled into one commit.

When to Use This Skill

Use this skill when:

• Pulling new bug fixes or features from rstudio/vscode-server into Positron
• Deciding which upstream commits are relevant to port

Prerequisites

The upstream remote must be configured:

git remote -v   # should show: upstream → git@github.com:rstudio/vscode-server.git (push disabled)

Workflow