diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2019-10-16 16:34:05 -0700 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2019-10-16 16:34:05 -0700 |
| commit | 3ee40cf89416a0d633ba8ba7cc672cdc3a2ccb75 (patch) | |
| tree | 153c1bf8a38df0f8b713578614d5c61d7aa67f02 | |
| parent | 915c5d67417aad4911b7e7028510413ce8d3e5b8 (diff) | |
Fixup devtools team github perms
| -rw-r--r-- | config.toml | 1 | ||||
| -rw-r--r-- | teams/devtools.toml | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/config.toml b/config.toml index 5159efb..9260d60 100644 --- a/config.toml +++ b/config.toml @@ -7,4 +7,5 @@ allowed-mailing-lists-domains = [ allowed-github-orgs = [ "rust-lang", "rust-lang-nursery", + "rust-dev-tools", ] diff --git a/teams/devtools.toml b/teams/devtools.toml index 6a6dc97..072d56e 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -18,6 +18,9 @@ repo = "https://github.com/rust-dev-tools/dev-tools-team" discord-invite = "https://discord.gg/sG23nSS" discord-name = "#dev-tools" +[github] +orgs = ["rust-lang", "rust-dev-tools"] + [[lists]] address = "tools@rust-lang.org" |