I would like to propose a way to change the configuration of the extension.
The most important thing I would like to change is Gitpod's endpoint: for Gitpod Dedicated and for some still running self-hosted installations, the host differs. For example https://github.com/gitpod-io/browser-extension allows for change of Gitpod URL.
I would like to propose a way to change the configuration of the extension.
The most important thing I would like to change is Gitpod's endpoint: for Gitpod Dedicated and for some still running self-hosted installations, the host differs. For example https://github.com/gitpod-io/browser-extension allows for change of Gitpod URL.