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 512d95d..bcb4556 100644
--- a/project.config
+++ b/project.config
@@ -55,6 +55,7 @@
submit = group CORD Committers
submit = group Project Owners
pushMerge = 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