Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAchilleas Pipinellis <axil@gitlab.com>2022-05-14 00:33:11 +0300
committerAchilleas Pipinellis <axil@gitlab.com>2022-05-14 00:33:11 +0300
commitec5709827986b1b47b5b86c782719a25dbf720b4 (patch)
tree5fbfd614ae1280cccea0e321ed386996ebda0247
parente638c93782b685763c0ac519b7f430551718ac27 (diff)
Add large repo doc in navbar
-rw-r--r--content/_data/navigation.yaml2
1 files changed, 2 insertions, 0 deletions
diff --git a/content/_data/navigation.yaml b/content/_data/navigation.yaml
index a0d43e45..79651c5c 100644
--- a/content/_data/navigation.yaml
+++ b/content/_data/navigation.yaml
@@ -1405,6 +1405,8 @@ sections:
doc_url: 'ee/user/project/repository/web_editor.html'
- doc_title: Web IDE
doc_url: 'ee/user/project/web_ide/'
+ - doc_title: Managing large repositories
+ doc_url: 'ee/user/project/repository/managing_large_repositories.html'
- doc_title: Merge requests
doc_url: 'ee/user/project/merge_requests/'
docs: