diff --git a/scripts/pipeline/workspace_cleanup/destroy_workspace.sh b/scripts/pipeline/workspace_cleanup/destroy_workspace.sh index 361935a913..5d098df838 100755 --- a/scripts/pipeline/workspace_cleanup/destroy_workspace.sh +++ b/scripts/pipeline/workspace_cleanup/destroy_workspace.sh @@ -20,7 +20,7 @@ if [ "$1" == "-h" ]; then fi workspace_name=$1 -reserved_workspaces="default production preproduction development demo ithc" +reserved_workspaces="default production preproduction development demo ur" for workspace in $reserved_workspaces; do if [ "$workspace" == "$workspace_name" ]; then