Closed millerjp closed 5 hours ago
I think it shouldn't be optional. If you delete it means both config and filesystem to me.
@digiserg no - we can have a workspace thats in Git containing cluster details. If and individual user deletes this and checks in/updates etc.. they may not want it reflected in source control. It definitely needs to be optional and we should have the same behaviour on other things like this.
Currently, when we delete a workspace we leave it on the file system.
Give users the option to delete the workspace from the filesystem