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