From 6565ef333a5ed3ff1dc7be545e9533c41db5bd47 Mon Sep 17 00:00:00 2001
From: Patrick Georgi <patrick@coreboot.org>
Date: Tue, 26 Jul 2022 04:10:50 +0000
Subject: [PATCH] Modify access rules

---
 groups         | 1 +
 project.config | 1 +
 2 files changed, 2 insertions(+)

diff --git a/groups b/groups
index eb8ff7222..fa4cd2ae2 100644
--- a/groups
+++ b/groups
@@ -5,4 +5,5 @@ global:Project-Owners                   	Project Owners
 user:Nico                               	user/Nico Huber (Nico)
 user:Th3Fanbus                          	user/Angel Pons (Th3Fanbus)
 user:dhendrix                           	user/David Hendricks (dhendrix)
+user:jenkins                            	user/build bot (Jenkins) (jenkins)
 user:stefanct                           	user/Stefan T (stefanct)
diff --git a/project.config b/project.config
index d2b472f4a..11eae8b80 100644
--- a/project.config
+++ b/project.config
@@ -48,6 +48,7 @@
 	owner = group user/David Hendricks (dhendrix)
 	owner = group user/Nico Huber (Nico)
 	owner = group user/Stefan T (stefanct)
+	owner = group user/build bot (Jenkins) (jenkins)
 [access "refs/heads/*"]
 	exclusiveGroupPermissions = create delete submit
 	create = group user/David Hendricks (dhendrix)