gitpod-io / gitpod-io/gitpod

Add ability to delete a workspace from VSCode and `gp`

Open
#12,290 4 comments 4 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

component: gp cli meta: never-stale team: IDE team: webapp type: feature request
Dominant language
TypeScript
Stars
13.8k
Forks
1.4k
Avg merge
17h 58m
Merged PRs (30d)
5

Description

Is your feature request related to a problem? Please describe

Currently I can stop a workspace using a VSCode command or the gp command, but I need to visit the dashboard to actually delete the workspace.

Describe the behaviour you'd like

In the spirit of ephemeral workspaces, I'll like to be able to delete a workspace from either the command line (via gp) or the command palette (via VSCode) once I've created a PR.

Describe alternatives you've considered

I can go to the dashboard and delete the workspace, but that is less convenient, and I also have to be careful that I'm deleting the correct one if I have a few around.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the existing workspace-stop command in the VSCode command palette and the gp CLI, then trace how dashboard deletion is invoked. Done means users can delete the selected workspace through both interfaces after creating a pull request, with the target workspace handled correctly.

Written by the indexing model from the issue text.

Assessment

Tech stack
typescript, vscode
Domain
cli, developer-experience
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
32/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.