diff options
| author | Ashraf Khamis <akhamis@gitlab.com> | 2023-08-08 18:23:14 +0300 |
|---|---|---|
| committer | Ashraf Khamis <akhamis@gitlab.com> | 2023-08-08 18:23:14 +0300 |
| commit | 9f2aa18449fa083004bd70432080a402e5c881c1 (patch) | |
| tree | 79c2aaae09ef43bacf0c69db0dfdc44b1881daf2 | |
| parent | 6c296206b9bb787ea3e5a44b084734efc5ba2d6c (diff) | |
| parent | bba80e8eb3f76c832859d1731fe959fa85aea0c9 (diff) | |
Merge branch '411516-rd-docs-nav' into 'main'
Update file navigation.yaml
See merge request https://gitlab.com/gitlab-org/gitlab-docs/-/merge_requests/4156
Merged-by: Ashraf Khamis <akhamis@gitlab.com>
Co-authored-by: David O'Regan <doregan@gitlab.com>
| -rw-r--r-- | content/_data/navigation.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/content/_data/navigation.yaml b/content/_data/navigation.yaml index 4d007531..a2562e25 100644 --- a/content/_data/navigation.yaml +++ b/content/_data/navigation.yaml @@ -1513,11 +1513,10 @@ sections: - doc_title: Remote development doc_url: 'ee/user/project/remote_development/' docs: + - doc_title: Workspaces + doc_url: 'ee/user/workspace/' - doc_title: 'Tutorial: Connect a remote machine to the Web IDE' doc_url: 'ee/user/project/remote_development/connect_machine.html' - - doc_title: Workspaces - doc_url: 'ee/user/workspace/' - docs: - doc_title: 'Tutorial: Create a custom workspace image that supports arbitrary user IDs' doc_url: 'ee/user/workspace/create_image.html' - doc_title: Managing large repositories |