From ff423bbb290f3bcb8b6d2859c67d428ac80f681e Mon Sep 17 00:00:00 2001 From: Christian Couder Date: Mon, 12 Sep 2016 10:14:11 +0200 Subject: 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**. --- doc/user/permissions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.1