Modify access rules
diff --git a/project.config b/project.config index 9f92b27..d9f92b3 100644 --- a/project.config +++ b/project.config
@@ -3,9 +3,10 @@ [project] description = Common configuration for amd/* [access "refs/heads/*"] - exclusiveGroupPermissions = create push label-Maintainer labelAs-Maintainer + exclusiveGroupPermissions = create label-Maintainer label-Verified labelAs-Maintainer push create = group google/gem5-amd@googlegroups.com forgeServerAsCommitter = group google/gem5-amd@googlegroups.com push = +force group google/gem5-amd@googlegroups.com label-Maintainer = -1..+1 group google/gem5-amd@googlegroups.com labelAs-Maintainer = -1..+1 group google/gem5-amd@googlegroups.com + label-Verified = -1..+1 group google/gem5-amd@googlegroups.com