diff options
Diffstat (limited to 'example/gitano-admin/rules/createrepo.lace')
| -rw-r--r-- | example/gitano-admin/rules/createrepo.lace | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/example/gitano-admin/rules/createrepo.lace b/example/gitano-admin/rules/createrepo.lace new file mode 100644 index 0000000..719323c --- /dev/null +++ b/example/gitano-admin/rules/createrepo.lace @@ -0,0 +1,11 @@ +# 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 ~^personal/${user}/ +allow "Personal repo creation is okay" repo_is_personal + +# Otherwise the default is that non-admins can't create repositories +deny "Repository creation is not permitted." |