Modify access rules
diff --git a/groups b/groups
index fcce36c..11a76f4 100644
--- a/groups
+++ b/groups
@@ -7,5 +7,4 @@
global:Anonymous-Users Anonymous Users
global:Project-Owners Project Owners
global:Registered-Users Registered Users
-user:ash user/Ali Al-Shabibi (ash)
user:cloudlab user/Cloud Lab (cloudlab)
diff --git a/project.config b/project.config
index ffba952..d9c6689 100644
--- a/project.config
+++ b/project.config
@@ -23,7 +23,6 @@
forgeCommitter = block group Read-only Users
forgeServerAsCommitter = block group Read-only Users
push = group Read-only Users
- pushMerge = group user/Ali Al-Shabibi (ash)
pushMerge = block group Read-only Users
pushTag = block group Read-only Users
pushSignedTag = block group Read-only Users
@@ -47,7 +46,7 @@
forgeAuthor = group Project Owners
forgeCommitter = group Administrators
forgeCommitter = group Project Owners
- push = +force group Administrators
+ push = block group Administrators
label-Code-Review = -2..+2 group Administrators
label-Code-Review = -2..+2 group CORD Committers
label-Code-Review = -2..+2 group Project Owners
@@ -55,7 +54,7 @@
submit = group Administrators
submit = group CORD Committers
submit = group Project Owners
- pushMerge = group Administrators
+ pushMerge = block group Administrators
label-Verified = -1..+1 group Administrators
label-Verified = -1..+1 group CORD Committers
label-Verified = -1..+1 group Non-Interactive Users