diff options
author | Christian Couder <chriscool@tuxfamily.org> | 2016-09-12 10:14:11 +0200 |
---|---|---|
committer | Christian Couder <chriscool@tuxfamily.org> | 2016-09-12 10:21:40 +0200 |
commit | ff423bbb290f3bcb8b6d2859c67d428ac80f681e (patch) | |
tree | 17e1303cb276121e5f3ee59f68a7741a1c4c5d5a | |
parent | 3a59efd562d22ec3148101d794d99889ccc9b82b (diff) | |
download | gitlab-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**.
-rw-r--r-- | doc/user/permissions.md | 2 |
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 |