Modify access rules
diff --git a/groups b/groups
index 11a76f4..fcce36c 100644
--- a/groups
+++ b/groups
@@ -7,4 +7,5 @@
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 5747397..487dadb 100644
--- a/project.config
+++ b/project.config
@@ -24,6 +24,7 @@
forgeCommitter = block group Read-only Users
forgeServerAsCommitter = block group Read-only Users
push = group Read-only Users
+ push = +force group user/Ali Al-Shabibi (ash)
pushMerge = block group Read-only Users
pushTag = block group Read-only Users
pushSignedTag = block group Read-only Users