Modify access rules
diff --git a/groups b/groups
index de3ead6..d09ac3e 100644
--- a/groups
+++ b/groups
@@ -10,3 +10,4 @@
global:Registered-Users Registered Users
user:ash user/Ali Al-Shabibi (ash)
user:cloudlab user/Cloud Lab (cloudlab)
+user:teone user/Matteo Scandolo (teone)
diff --git a/project.config b/project.config
index dd2a830..7652464 100644
--- a/project.config
+++ b/project.config
@@ -27,6 +27,7 @@
forgeCommitter = block group Read-only Users
forgeServerAsCommitter = block group Read-only Users
push = group user/Ali Al-Shabibi (ash)
+ push = group user/Matteo Scandolo (teone)
push = block group Read-only Users
pushMerge = block group Read-only Users
pushTag = block group Read-only Users