Merge pull request #152 from Manishearth/dt-github

pietroalbini · web-flow · commit 86a17d6d956b · 2019-10-17T15:09:40.000+02:00
Fixup devtools team github perms
diff --git 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
@@ -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"
 

Original file line number	Diff line number	Diff line change
`@@ -7,4 +7,5 @@ allowed-mailing-lists-domains = [`
`7`	`7`	`allowed-github-orgs = [`
`8`	`8`	`"rust-lang",`
`9`	`9`	`"rust-lang-nursery",`
	`10`	`+ "rust-dev-tools",`
`10`	`11`	`]`