diff options
Diffstat (limited to 'example/gitano-admin/rules/createrepo.lace')
| -rw-r--r-- | example/gitano-admin/rules/createrepo.lace | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/example/gitano-admin/rules/createrepo.lace b/example/gitano-admin/rules/createrepo.lace deleted file mode 100644 index 9085706..0000000 --- a/example/gitano-admin/rules/createrepo.lace +++ /dev/null @@ -1,12 +0,0 @@ -# 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." |