diff options
author | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-09-07 14:29:43 +0100 |
---|---|---|
committer | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-09-07 14:29:43 +0100 |
commit | fb652434121c382fc622845ec714c2a14f2fde58 (patch) | |
tree | 5454fa43967ebb883173057c5f45fb318b818824 /gitano-admin/rules/createrepo.lace | |
parent | 860ec2f6436ac7cba31969ab13f163c9fbe691d6 (diff) | |
download | trove-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.lace | 15 |
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." |