diff options
author | Marcel Amirault <mamirault@gitlab.com> | 2019-11-04 01:42:24 +0300 |
---|---|---|
committer | Evan Read <eread@gitlab.com> | 2019-11-04 01:42:24 +0300 |
commit | 41300567dc1b999b880be0cdbf6f17a5af3fd1d9 (patch) | |
tree | 307ca92a7e310f2875e51968ba53e5f2c8286a3a | |
parent | 11cbfbd0205cca894f635e01bb8d7f555a192579 (diff) |
Add job logs and push options to nav
-rw-r--r-- | content/_data/default-nav.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/content/_data/default-nav.yaml b/content/_data/default-nav.yaml index cdc95583..cba217f8 100644 --- a/content/_data/default-nav.yaml +++ b/content/_data/default-nav.yaml @@ -329,6 +329,8 @@ sections: doc_url: 'user/project/operations/feature_flags.html' ee_only: true ee_tier: 'GitLab Premium, GitLab.com Silver, and higher tiers' + - category_title: Push options + category_url: 'user/project/push_options.html' - category_title: Releases category_url: 'user/project/releases/' - category_title: Repositories @@ -847,6 +849,8 @@ sections: doc_url: 'user/admin_area/monitoring/health_check.html' ee_only: true ee_tier: 'GitLab Core and higher tiers. Not available in GitLab.com' + - doc_title: Job logs + doc_url: 'administration/job_logs.html' - doc_title: Labels doc_url: 'user/admin_area/labels.html' ee_only: true |