gitpod
gitpod copied to clipboard
The developer platform for on-demand cloud development environments to create software faster and more securely.
Same problem+solution as in #4343, but for ws-proxy. However, the connections in ws-proxy live longer, since they involve websocket-connections and connections from user-exposed-ports. Thus we would need to increase `terminationGracePeriodSeconds`...
### Bug description Users cannot delete workspaces in `PREPARING` phase. ### Steps to reproduce 1. Go to workspaces list (`/workspaces`) 2. Create one or two workspaces. Using the example projects...
after sending newsletters, we often get asked to unsubscribe the user from the email list. It would be great if we could follow up on the user’s requests with little...
### Bug description I changed my email address in GitHub a while ago. But in the Gitpod dashboard, it still shows the old address. The newsletter was sent to the...
**Situation**: A user has an individual paid plan (e.g. Professional), and accepts a team plan invitation, or gets assigned to a team plan seat (e.g. Team Unlimited). - **Currently**: The...
## Description ## Related Issue(s) Fixes # ## How to test See https://github.com/gitpod-io/gitpod/actions/runs/9188500528 and build in current PR ## Documentation #### Preview status gitpod:summary ## Build Options Build - [...
## Description ## Related Issue(s) Fixes # ## How to test ## Documentation #### Preview status Gitpod was successfully deployed to your preview environment. 🏷️ Name - hw-jb-terminal 🔗 URL...
## Description Instead of only filtering auth cookies from port routes, filter it from all routes that are are: - pointing at the workspace pod - not directly meant for...
## Description Before closing the listeners channel, we need to make sure we don't write into it anymore. We do set a flag ("closed"), however neither that nor the actually...
### Bug description In trying to do a "git rebase -i", it said that it was waiting for the editor to close, but never gave me an editor. ### Steps...