Skip to content
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] Hide 'stopping' & unpinned workspaces from 'Active' #4170

Merged
merged 1 commit into from
May 12, 2021

Conversation

jankeromnes
Copy link
Contributor

@jankeromnes jankeromnes commented May 7, 2021

Potential solution/workaround for #3879

How to test:

  • Delete a running workspace
  • It should immediately disappear from the workspaces list, just like when you delete an already-stopped workspace

(It actually gets hidden and not removed, so you'll still see the "stopping" workspace in Filter: All, but maybe that's okay for now.)

(EDIT: Another potential difference is, if you delete a running pinned workspace, it will still continue to be displayed as "stopping" in Filter: Active for a while. A fix for that could be to immediately un-pin when you delete.)

@jankeromnes jankeromnes requested a review from gtsiolis May 7, 2021 12:25
@gtsiolis
Copy link
Contributor

gtsiolis commented May 11, 2021

/werft run

👍 started the job as gitpod-build-jx-hide-stopping.2

@gtsiolis
Copy link
Contributor

gtsiolis commented May 12, 2021

/werft run

👍 started the job as gitpod-build-jx-hide-stopping.3

Copy link
Contributor

@gtsiolis gtsiolis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @jankeromnes! Thanks for giving this a spin.

Behavior for unpinned workspaces looks good. Should be fine to merge this and revert if the different behavior for deleting pinned workspaces causes any confusion.

blockNewUsers: true
blockNewUsersPasslist:
- "gitpod.io"
blockNewUsers: false
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

reminder: To remove this before merging! 😇

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Indeed, split out into #4211

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants