Modify access rules
diff --git a/project.config b/project.config
index dca687a..b49e1ef 100644
--- a/project.config
+++ b/project.config
@@ -51,7 +51,7 @@
forgeAuthor = group Project Owners
forgeCommitter = group Administrators
forgeCommitter = group Project Owners
- push = group user/Ali Al-Shabibi (ash)
+ push = +force group user/Ali Al-Shabibi (ash)
push = block group Administrators
label-Code-Review = -2..+2 group Administrators
label-Code-Review = -2..+2 group CORD Committers
@@ -61,6 +61,7 @@
submit = group CORD Committers
submit = group Project Owners
pushMerge = deny group Administrators
+ pushMerge = group user/Ali Al-Shabibi (ash)
label-Verified = -1..+1 group Administrators
label-Verified = -1..+1 group CORD Committers
label-Verified = -1..+1 group Non-Interactive Users