diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-06 19:27:17 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-02-06 19:27:17 +0100 |
| commit | 02dab8a94dce1a93e8ca50232cf75597fee327b0 (patch) | |
| tree | bc0131bdf379de9ceb755dfede8b896207a1c677 /teams/infra.toml | |
| parent | 530fcd964b20efed36ec2172e608cbac019fa937 (diff) | |
add permissions support and perf permissions
Diffstat (limited to 'teams/infra.toml')
| -rw-r--r-- | teams/infra.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 5c17068..3ef95ae 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -16,6 +16,9 @@ members = [ "shepmaster", ] +[permissions] +perf = true + [website] name = "Infrastructure team" description = "infrastructure supporting the Rust project itself: CI, releases, bots, metrics" |