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