Just learned that only extensions published to the OpenVSX registry will work on Gitpod, and was curious if the maintainers of this repo would be interested in publishing there as well.
The steps for doing so are listed here. 1-4 have to do with setting up an account and generating a token, then the last step discusses how to actually perform the publish.
It seems like updating the Github workflow publish pipeline to also publish to OpenVSX could look something like this.
Just learned that only extensions published to the OpenVSX registry will work on Gitpod, and was curious if the maintainers of this repo would be interested in publishing there as well.
The steps for doing so are listed here. 1-4 have to do with setting up an account and generating a token, then the last step discusses how to actually perform the publish.
It seems like updating the Github workflow publish pipeline to also publish to OpenVSX could look something like this.