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 | |
| parent | 43eb0100d1822132f4f0068cb10080969899e530 (diff) | |
add crater permissions
| -rw-r--r-- | README.md | 6 | ||||
| -rw-r--r-- | src/schema.rs | 1 | ||||
| -rw-r--r-- | teams/compiler.toml | 1 | ||||
| -rw-r--r-- | teams/infra.toml | 1 | ||||
| -rw-r--r-- | teams/libs.toml | 1 | ||||
| -rw-r--r-- | teams/release.toml | 3 | ||||
| -rw-r--r-- | teams/rustdoc.toml | 3 |
7 files changed, 15 insertions, 1 deletions
@@ -1,6 +1,10 @@ # Rust teams structure -This repository contains the structure of the Rust teams. +This repository contains the structure of the Rust teams. The repository is +automatically synchronized with: + +* [Governance section on the website](https://www.rust-lang.org/governance) +* [Crater and @craterbot](https://github.com/rust-lang-nursery/crater) If you need to add or remove a person from a team send a PR to this repository, and after it's merged their account will be added/removed from all the diff --git a/src/schema.rs b/src/schema.rs index adb67a4..dcd6868 100644 --- a/src/schema.rs +++ b/src/schema.rs @@ -217,6 +217,7 @@ struct TeamPeople { permissions!(pub(crate) struct Permissions { perf, + crater, }); pub(crate) struct DiscordInvite<'a> { diff --git a/teams/compiler.toml b/teams/compiler.toml index a8aa774..b630579 100644 --- a/teams/compiler.toml +++ b/teams/compiler.toml @@ -18,6 +18,7 @@ members = [ [permissions] perf = true +crater = true [website] name = "Compiler team" 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" diff --git a/teams/libs.toml b/teams/libs.toml index ef3f749..cd4bec6 100644 --- a/teams/libs.toml +++ b/teams/libs.toml @@ -17,6 +17,7 @@ members = [ [permissions] perf = true +crater = true [website] page = "library" diff --git a/teams/release.toml b/teams/release.toml index c605a8d..eceb1c2 100644 --- a/teams/release.toml +++ b/teams/release.toml @@ -20,6 +20,9 @@ members = [ "jonas-schievink", ] +[permissions] +crater = true + [website] name = "Release team" description = "tracking regressions, stabilizations, and producing Rust releases" diff --git a/teams/rustdoc.toml b/teams/rustdoc.toml index e0d5f68..d495f34 100644 --- a/teams/rustdoc.toml +++ b/teams/rustdoc.toml @@ -11,6 +11,9 @@ members = [ "steveklabnik", ] +[permissions] +crater = true + [website] name = "Rustdoc team" description = "Documentation tools including Rustdoc and docs.rs" |