Modify access rules
diff --git a/groups b/groups
index 6350554..0cba1eb 100644
--- a/groups
+++ b/groups
@@ -10,6 +10,5 @@
global:Anonymous-Users Anonymous Users
global:Project-Owners Project Owners
global:Registered-Users Registered Users
-user:ash user/Ali Al-Shabibi (ash)
user:bocon user/Brian O'Connor (bocon)
user:cloudlab user/Cloud Lab (cloudlab)
diff --git a/project.config b/project.config
index f9e5d16..927a784 100644
--- a/project.config
+++ b/project.config
@@ -27,11 +27,9 @@
create = block group Read-only Users
forgeAuthor = group CORD Committers
forgeAuthor = group Project Owners
- forgeAuthor = group user/Ali Al-Shabibi (ash)
forgeAuthor = block group Read-only Users
forgeCommitter = block group Read-only Users
forgeServerAsCommitter = block group Read-only Users
- push = group user/Ali Al-Shabibi (ash)
push = block group Read-only Users
pushMerge = block group Read-only Users
label-Code-Review = group Read-only Users
@@ -57,7 +55,6 @@
forgeCommitter = group Administrators
forgeCommitter = group Project Owners
push = deny group Administrators
- push = +force group user/Ali Al-Shabibi (ash)
push = group user/Brian O'Connor (bocon)
label-Code-Review = -2..+2 group Administrators
label-Code-Review = -2..+2 group CORD Committers