diff options
author | tazjin <mail@tazj.in> | 2021-11-04T14·21+0000 |
---|---|---|
committer | Gerrit Code Review <git@whitby.tvl.fyi> | 2021-11-04T14·21+0000 |
commit | 08207de76a0e86bd580ea94dcdd922686f3cd243 (patch) | |
tree | 28d17675803e1d6077791c6a30d0282f7a122a19 /project.config | |
parent | 042d52c9b7afc0799751e22a55d780c207f5c444 (diff) |
Modify access rules
Diffstat (limited to 'project.config')
-rw-r--r-- | project.config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/project.config b/project.config index d942497c6e..da4671d6af 100644 --- a/project.config +++ b/project.config @@ -53,6 +53,8 @@ push = group depot-ci-bots push = +force group depot-interventions read = group Anonymous Users + create = group depot-ci-bots + create = group depot-interventions [access "refs/notes/*"] push = group depot-ci-bots push = +force group depot-interventions |