(minor) rmrepo has 2 alternatives for who can delete
This commit is contained in:
parent
1b5294f26d
commit
38d5ab5e47
|
@ -5,7 +5,17 @@
|
||||||
delete=$1
|
delete=$1
|
||||||
|
|
||||||
get_rights_and_owner $delete
|
get_rights_and_owner $delete
|
||||||
|
|
||||||
|
# please choose one alternative and delete the other para
|
||||||
|
|
||||||
|
# alternative 1 -- only creator can delete
|
||||||
[ "$owner" = "$GL_USER" ] || die "$delete is not yours to delete!"
|
[ "$owner" = "$GL_USER" ] || die "$delete is not yours to delete!"
|
||||||
|
|
||||||
|
# alternative 2 -- creator or anyone with W access to admin repo can delete
|
||||||
|
[ "$owner" = "$GL_USER" ] || {
|
||||||
|
get_rights_and_owner gitolite-admin
|
||||||
|
[ -z "$perm_write" ] && die "$delete is not yours to delete and you're not the admin"
|
||||||
|
}
|
||||||
|
|
||||||
cd $GL_REPO_BASE_ABS
|
cd $GL_REPO_BASE_ABS
|
||||||
rm -rf $delete.git
|
rm -rf $delete.git
|
||||||
|
|
Loading…
Reference in a new issue