diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-08 09:43:31 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-02-08 09:43:31 +0100 |
commit | fbd6a82e736680aeb2cc5450f956cd17ac0dae74 (patch) | |
tree | a8875a051b21cea6debd1f12043a6b3c9a67eddb /teams/infra.toml | |
parent | 43eb0100d1822132f4f0068cb10080969899e530 (diff) |
add crater permissions
Diffstat (limited to 'teams/infra.toml')
-rw-r--r-- | teams/infra.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 3ef95ae..3f4e3bb 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -18,6 +18,7 @@ members = [ [permissions] perf = true +crater = true [website] name = "Infrastructure team" |