-
Notifications
You must be signed in to change notification settings - Fork 1.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[dashboard]: only display delete button if not preparing #5186
Conversation
[APPROVALNOTIFIER] This PR is NOT APPROVED This pull-request has been approved by: Associated issue: #4173 The full list of commands accepted by this bot can be found here.
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
Looking at this now! 👀 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Lunch happened but I'm back! 🍝
Changes look good, @mrsimonemms!
Ideally, we could allow users to click the delete action and handle all the necessary checks on the backstage even if that's moving the to-be-deleted entry to outside the active workspaces list, as described in option
However, I understand there's a technical limitation to do this (#4173 (comment)) so removing the delete option sounds like a good MVC (minimum viable change) especially since this removal is visible at rare times as the user usually switches context to starting a workspace (loading screen) away from the dashboard workspaces list. ✔️
I've added one small nitpick issue about borders but could be fine to skip this, too. Let me know what you think.
); | ||
|
||
// Workspaces can only be deleted if not preparing | ||
if (state !== 'preparing') { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thought: Sounds safe to use a similar if statement here as above options.
/werft run 👍 started the job as gitpod-build-sje-cannot-delete-ws.3 |
189f983
to
7770b3c
Compare
7770b3c
to
5c79b20
Compare
/werft run 👍 started the job as gitpod-build-sje-cannot-delete-ws.7 |
issue: @mrsimonemms For some reason I cannot creaste any new workspace, getting the following two errors:
Maybe there's an issue with preview environments at the moment? 🤷 |
/werft run 👍 started the job as gitpod-build-sje-cannot-delete-ws.8 |
/werft run 👍 started the job as gitpod-build-sje-cannot-delete-ws.9 |
/werft with-clean-slate-deployment 👎 unknown command: with-clean-slate-deployment |
Due to #4173 (comment):
What about checking if the workspace is in RUNNING or STOPPED instead and only provide the delete button during these 2 phases? → This would probably fix this as well: https://community.gitpod.io/t/unable-to-delete-workspace/4956 |
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
Proposed fix for #4173