summaryrefslogtreecommitdiff
path: root/example/gitano-admin/rules/createrepo.lace
diff options
context:
space:
mode:
Diffstat (limited to 'example/gitano-admin/rules/createrepo.lace')
-rw-r--r--example/gitano-admin/rules/createrepo.lace5
1 files changed, 3 insertions, 2 deletions
diff --git a/example/gitano-admin/rules/createrepo.lace b/example/gitano-admin/rules/createrepo.lace
index 719323c..9085706 100644
--- a/example/gitano-admin/rules/createrepo.lace
+++ b/example/gitano-admin/rules/createrepo.lace
@@ -4,8 +4,9 @@
# 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
+
+# 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."