Modify access rules
diff --git a/project.config b/project.config index 5b0a795..2d32310 100644 --- a/project.config +++ b/project.config
@@ -3,12 +3,9 @@ [project] description = Common configuration for arm/* [access "refs/heads/sve/*"] - exclusiveGroupPermissions = create createTag createSignedTag delete push label-Maintainer labelAs-Maintainer editAssignee +[access "refs/heads/*"] + exclusiveGroupPermissions = create push label-Maintainer labelAs-Maintainer create = group google/gem5-arm@googlegroups.com - createTag = group google/gem5-arm@googlegroups.com - createSignedTag = group google/gem5-arm@googlegroups.com - delete = group google/gem5-arm@googlegroups.com - push = group google/gem5-arm@googlegroups.com + push = +force group google/gem5-arm@googlegroups.com label-Maintainer = -1..+1 group google/gem5-arm@googlegroups.com labelAs-Maintainer = -1..+1 group google/gem5-arm@googlegroups.com - editAssignee = group google/gem5-arm@googlegroups.com