summaryrefslogtreecommitdiff
path: root/doc/user/permissions.md
diff options
context:
space:
mode:
authorChristian Couder <chriscool@tuxfamily.org>2016-09-12 10:14:11 +0200
committerChristian Couder <chriscool@tuxfamily.org>2016-09-12 10:21:40 +0200
commitff423bbb290f3bcb8b6d2859c67d428ac80f681e (patch)
tree17e1303cb276121e5f3ee59f68a7741a1c4c5d5a /doc/user/permissions.md
parent3a59efd562d22ec3148101d794d99889ccc9b82b (diff)
downloadgitlab-ce-ff423bbb290f3bcb8b6d2859c67d428ac80f681e.tar.gz
doc/user/permissions: update option and menu names
It looks like the option is now called **Public pipelines** and the menu item is now **Project Settings > CI/CD Pipelines**.
Diffstat (limited to 'doc/user/permissions.md')
-rw-r--r--doc/user/permissions.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/permissions.md b/doc/user/permissions.md
index 1498cb361c8..f1b75298180 100644
--- a/doc/user/permissions.md
+++ b/doc/user/permissions.md
@@ -63,7 +63,7 @@ The following table depicts the various user permission levels in a project.
| Force push to protected branches [^2] | | | | | |
| Remove protected branches [^2] | | | | | |
-[^1]: If **Allow guest to access builds** is enabled in CI settings
+[^1]: If **Public pipelines** is enabled in **Project Settings > CI/CD Pipelines**
[^2]: Not allowed for Guest, Reporter, Developer, Master, or Owner
## Group