diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-05-24 12:07:53 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-05-24 12:07:53 +0300 |
| commit | 52b219b6f40e49471c66765a95a550f6de256b6a (patch) | |
| tree | 37102bf58bd19bb23ab99bf940763a0d5311965b /doc/user | |
| parent | 9933e246c88dfa3d62eb0bab258539711663b904 (diff) | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/workspace/index.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/workspace/index.md b/doc/user/workspace/index.md index 647960459bf..45d9e262bed 100644 --- a/doc/user/workspace/index.md +++ b/doc/user/workspace/index.md @@ -37,6 +37,7 @@ Each workspace includes its own set of dependencies, libraries, and tools, which dns_zone: "workspaces.example.dev" ``` +- You must have at least the Developer role in the root group. - In each public project you want to use this feature for, create a [devfile](#devfile): 1. On the top bar, select **Main menu > Projects** and find your project. 1. In the root directory of your project, create a file named `.devfile.yaml`. You can use one of the [example configurations](#example-configurations). |