summaryrefslogtreecommitdiff
path: root/gitano-admin/rules/createrepo.lace
diff options
context:
space:
mode:
authorDaniel Silverstone <daniel.silverstone@codethink.co.uk>2012-09-07 14:29:43 +0100
committerDaniel Silverstone <daniel.silverstone@codethink.co.uk>2012-09-07 14:29:43 +0100
commitfb652434121c382fc622845ec714c2a14f2fde58 (patch)
tree5454fa43967ebb883173057c5f45fb318b818824 /gitano-admin/rules/createrepo.lace
parent860ec2f6436ac7cba31969ab13f163c9fbe691d6 (diff)
downloadtrove-setup-fb652434121c382fc622845ec714c2a14f2fde58.tar.gz
Initial ruleset and beginnings of gitano-admin overlay
Diffstat (limited to 'gitano-admin/rules/createrepo.lace')
-rw-r--r--gitano-admin/rules/createrepo.lace15
1 files changed, 15 insertions, 0 deletions
diff --git a/gitano-admin/rules/createrepo.lace b/gitano-admin/rules/createrepo.lace
new file mode 100644
index 0000000..ef1bffc
--- /dev/null
+++ b/gitano-admin/rules/createrepo.lace
@@ -0,0 +1,15 @@
+# Rules related to creating repositories
+
+# Administrators have already been permitted whatever they like
+# so this is for non-admins.
+
+# Uncomment the following to allow repositories in personal/username/
+
+define repo_is_personal repository ~^people/${user}/
+allow "Personal repo creation is okay" repo_is_personal
+
+# Allow people in ctxxx-admins to create repositories under ctxxx
+allow "Project admins may make project repositories" repo_has_project_code ct_admin
+
+# Otherwise the default is that non-admins can't create repositories
+deny "Repository creation is not permitted."