add leads to private project-leads channel

davidtwco · davidtwco · commit 1cdd5e1a2b4b · 2025-11-10T13:00:46.000Z
diff --git a/teams/leads.toml b/teams/leads.toml
@@ -12,3 +12,10 @@ orgs = ["rust-lang"]
 [[lists]]
 address = "leads@rust-lang.org"
 extra-teams = ["wg-leads", "leadership-council"]
+
+[[zulip-streams]]
+name = "project leads (private)"
+extra-teams = [
+    "leadership-council",
+    "foundation-board-project-directors"
+]
