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: update option and menu names
ff423bbb · Christian Couder · 3a59efd5 · ff423bbb
Commit ff423bbb authored Sep 12, 2016 by Christian Couder
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

permissions.md doc/user/permissions.md +1 -1

No files found.
--- 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