diff options
author | Kati Paizee <kpaizee@gitlab.com> | 2023-04-04 12:38:38 +0300 |
---|---|---|
committer | Kati Paizee <kpaizee@gitlab.com> | 2023-04-04 12:38:38 +0300 |
commit | a268d4e23893564102847d90e057a4e789eca261 (patch) | |
tree | ee1e08afb20ab8da932225cd7210335f0db2eb60 | |
parent | 86755911313bada174d35db565faade3e472152f (diff) | |
parent | fc0a029eb40db75fc18fe8dc25450bafb29be789 (diff) |
Merge branch 'add-tutorial-page' into 'main'
Add remote development tutorial to left nav
See merge request https://gitlab.com/gitlab-org/gitlab-docs/-/merge_requests/3730
Merged-by: Kati Paizee <kpaizee@gitlab.com>
Approved-by: Kati Paizee <kpaizee@gitlab.com>
Co-authored-by: Ashraf Khamis <akhamis@gitlab.com>
-rw-r--r-- | content/_data/navigation.yaml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/content/_data/navigation.yaml b/content/_data/navigation.yaml index b6e9ce55..bdd7b25b 100644 --- a/content/_data/navigation.yaml +++ b/content/_data/navigation.yaml @@ -1396,8 +1396,11 @@ sections: doc_url: 'ee/user/project/web_ide/' - doc_title: Web IDE Beta doc_url: 'ee/user/project/web_ide_beta/' - - doc_title: Remote Development + - doc_title: Remote development doc_url: 'ee/user/project/remote_development/' + docs: + - doc_title: 'Tutorial: Connect a remote machine to the Web IDE' + doc_url: 'ee/user/project/remote_development/connect_machine.html' - doc_title: Managing large repositories doc_url: 'ee/user/project/repository/managing_large_repositories.html' - doc_title: Merge requests |