infra: add github synchronization for the bors-rs organization

pietroalbini · pietroalbini · commit 544660db8d01 · 2020-07-03T19:28:45.000+02:00
diff --git a/config.toml b/config.toml
@@ -6,6 +6,7 @@ allowed-mailing-lists-domains = [
 ]
 
 allowed-github-orgs = [
+    "bors-rs",
     "rust-lang",
     "rust-lang-ci",
     "rust-lang-nursery",
diff --git a/teams/infra.toml b/teams/infra.toml
@@ -16,6 +16,10 @@ members = [
 [[github]]
 orgs = ["rust-lang", "rust-lang-ci", "rust-lang-nursery"]
 
+[[github]]
+team-name = "rust-infra"
+orgs = ["bors-rs"]
+
 [permissions]
 perf = true
 crater = true

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,7 @@ allowed-mailing-lists-domains = [`
`6`	`6`	`]`
`7`	`7`
`8`	`8`	`allowed-github-orgs = [`
	`9`	`+ "bors-rs",`
`9`	`10`	`"rust-lang",`
`10`	`11`	`"rust-lang-ci",`
`11`	`12`	`"rust-lang-nursery",`