undefined | Better HN

0 pointsthrowaway2845344y ago0 comments

Hey! Thanks for the explanation, but I don’t fully understand the two projects. Is this built with code-server, or do the server parts of Gitpod come from Microsoft? Where should I submit PRs?

0 comments

mikenikles4y ago

Hi, Mike from Gitpod here. This project does not use code-server. It is instead a very lightweight server added to the official open source VS Code repo from Microsoft.

We documented this in more detail in the "Source Code Organization" chapter at https://github.com/gitpod-io/openvscode-server/blob/main/doc....

As to where to submit PRs:

- Anything to do with running VS Code in a server context: gitpod-io/openvscode-server

- Anything else related to VS Code: microsoft/vscode

We have no intention of changing VS Code in any way or to add additional features to VS Code itself.

j / k navigate · click thread line to collapse