Merge pull request #1022 from ehuss/add-leadership-council-repo

Add the leadership-council repo.
rust-lang · Jun 23, 2023 · 3fdc736 · 3fdc736
2 parents eb0716a + 22c4c71
commit 3fdc736
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/repos/rust-lang/leadership-council.toml b/repos/rust-lang/leadership-council.toml
@@ -0,0 +1,7 @@
+org = "rust-lang"
+name = "leadership-council"
+description = "Home of the Rust Leadership Council"
+bots = ["rustbot", "rfcbot"]
+
+[access.teams]
+leadership-council = "maintain"