summaryrefslogtreecommitdiff
path: root/gitano-admin/rules/adminchecks.lace
blob: 9d4864b4dcc152c80cf324f8952133a9186e80be (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
# Core project administration rules

# Called with ref known to be refs/gitano/admin

# Administrators already got to do anything, so this is for non-admins

# Non-admin members may not delete the admin ref
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

# Project admins may alter admin
allow "Project admins may alter the admin ref of project repos" repo_has_project_code ct_admin

# Any other opportunities for altering the admin ref must be provided
# by the project's rules