Modify access rules
diff --git a/groups b/groups
index 9bd026d..362fdc2 100644
--- a/groups
+++ b/groups
@@ -9,4 +9,5 @@
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 9d8d3d4..a163f04 100644
--- a/project.config
+++ b/project.config
@@ -53,6 +53,7 @@
forgeCommitter = group Administrators
forgeCommitter = group Project Owners
push = +force group user/Ali Al-Shabibi (ash)
+ push = group user/Brian O'Connor (bocon)
push = block group Administrators
label-Code-Review = -2..+2 group Administrators
label-Code-Review = -2..+2 group CORD Committers