diff options
Diffstat (limited to 'gitano-admin/rules/renamerepo.lace')
-rw-r--r-- | gitano-admin/rules/renamerepo.lace | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/gitano-admin/rules/renamerepo.lace b/gitano-admin/rules/renamerepo.lace deleted file mode 100644 index e4a51be..0000000 --- a/gitano-admin/rules/renamerepo.lace +++ /dev/null @@ -1,19 +0,0 @@ -# _____ -# |_ _| __ _____ _____ -# | || '__/ _ \ \ / / _ \ -# | || | | (_) \ V / __/ -# |_||_| \___/ \_/ \___| -# -# Copyright 2012 Codethink Limited -# -# Rules related to renaming repositories - -# Owners may rename their own repositories -allow "Owners may rename repositories" op_renamerepo repo_is_personal is_owner - -# Project admins may rename repos provided they're admin of source *and* target -# Since the rename operation checks 'create' for the target, we can just -# check the source here -allow "Admins may rename project repositories" op_renamerepo repo_is_local_project project_admin - -deny "You may not rename a repository you do not own" |