[mikenikles]

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.