diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-11-27 15:07:15 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-11-27 15:07:15 +0300 |
| commit | 05c86d87fd619a94b37231af2cc7537ec2f3d0be (patch) | |
| tree | d7c56557a0c96f353816e76da104f9c5dc187669 /doc/user/workspace | |
| parent | d86208dfbc2b0f92fb3bf7dfc10472e6a6484f77 (diff) | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/workspace')
| -rw-r--r-- | doc/user/workspace/configuration.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/user/workspace/configuration.md b/doc/user/workspace/configuration.md index 793f93865bb..2bd47cf9aa5 100644 --- a/doc/user/workspace/configuration.md +++ b/doc/user/workspace/configuration.md @@ -178,6 +178,8 @@ remote_development: enabled: false ``` +The `remote_development` module is no longer available when you [create a workspace](#set-up-a-workspace). + If you already have running workspaces, an administrator must manually delete these workspaces in Kubernetes. ## Related topics |