diff --git a/groups b/groups index ca8045d9c..2b8df05ec 100644 --- a/groups +++ b/groups @@ -7,4 +7,5 @@ global:Registered-Users Registered Users user:Th3Fanbus user/Angel Pons (Th3Fanbus) 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) diff --git a/project.config b/project.config index 8c30ea3bf..269a9ae17 100644 --- a/project.config +++ b/project.config @@ -50,9 +50,11 @@ create = group user/Anastasia Klimchuk (aklm) create = group user/Angel Pons (Th3Fanbus) create = group user/David Hendricks (dhendrix) + create = group user/Thomas Heijligen (heijligen) delete = group user/Anastasia Klimchuk (aklm) delete = group user/Angel Pons (Th3Fanbus) delete = group user/David Hendricks (dhendrix) + delete = group user/Thomas Heijligen (heijligen) submit = group flashrom developers label-Code-Review = -2..+2 group flashrom developers label-Code-Review = -1..+2 group flashrom reviewers