From 2331838963116ff22ff5a8e876245e0d1baa19cd Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Sun, 24 Sep 2023 20:38:31 +0000 Subject: [PATCH] Modify access rules --- groups | 1 + project.config | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/groups b/groups index 93e759046..78f3fe7d7 100644 --- a/groups +++ b/groups @@ -10,3 +10,4 @@ user:aklm user/Anastasia Klimchuk (aklm) user:dhendrix user/David Hendricks (dhendrix) user:heijligen user/Thomas Heijligen (heijligen) user:jenkins user/build bot (Jenkins) (jenkins) +user:stepan user/Stefan Reinauer (stepan) diff --git a/project.config b/project.config index 8058a05b4..078ae0fe8 100644 --- a/project.config +++ b/project.config @@ -60,13 +60,13 @@ label-Code-Review = block -2..-2 group user/Nico Huber (Nico) label-Verified = -1..+1 group flashrom developers [access "refs/for/refs/heads/stable"] - exclusiveGroupPermissions = push [project] description = A utility for identifying, reading, writing, verifying and erasing flash chips [access "refs/heads/master"] push = deny group Project Owners exclusiveGroupPermissions = push -[access "refs/heads/testpush"] +[access "refs/heads/main"] + push = +force group user/Stefan Reinauer (stepan) [notify "flashrom-gerrit"] header = to email = flashrom-gerrit@flashrom.org