diff options
Diffstat (limited to 'gitano-admin/rules/adminchecks.lace')
| -rw-r--r-- | gitano-admin/rules/adminchecks.lace | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/gitano-admin/rules/adminchecks.lace b/gitano-admin/rules/adminchecks.lace index 9d4864b..ffe99a0 100644 --- a/gitano-admin/rules/adminchecks.lace +++ b/gitano-admin/rules/adminchecks.lace @@ -1,3 +1,11 @@ +# _____ +# |_ _| __ _____ _____ +# | || '__/ _ \ \ / / _ \ +# | || | | (_) \ V / __/ +# |_||_| \___/ \_/ \___| +# +# Copyright 2012 Codethink Limited +# # Core project administration rules # Called with ref known to be refs/gitano/admin @@ -8,11 +16,10 @@ deny "Non-administrators may not delete the admin ref" op_deleteref # Otherwise, the project's owner is allowed to alter the admin tree -allow "Project owner may alter the admin ref" is_owner +allow "Project owner may alter the admin ref" is_owner repo_is_personal -# Project admins may alter admin -allow "Project admins may alter the admin ref of project repos" repo_has_project_code ct_admin +# Project admins may alter admin refs +allow "Project admins may alter the admin ref of project repos" repo_is_local_project project_admin # Any other opportunities for altering the admin ref must be provided # by the project's rules -
\ No newline at end of file |