diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-10 12:52:24 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-10 12:55:01 +0100 |
commit | c3bd230d3160359e27f88c877762acf71f2f78e9 (patch) | |
tree | 1bef045cf82969901d9585c16b40e68bc4c7635a /teams/infra.toml | |
parent | efeff4703c3c95ed18178d2a9510b69ca44c7277 (diff) |
import bors permissions
Diffstat (limited to 'teams/infra.toml')
-rw-r--r-- | teams/infra.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 3f4e3bb..52316e5 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -19,6 +19,8 @@ members = [ [permissions] perf = true crater = true +bors.rust.review = true +bors.crater.review = true [website] name = "Infrastructure team" |