Merge pull request #1078 from thomcc/wg-binary-size

Add binary size working group
rust-lang · Sep 25, 2023 · 320e820 · 320e820
2 parents a5c9e70 + 423a2bd
commit 320e820
Show file tree

Hide file tree

Showing 4 changed files with 47 additions and 0 deletions.
diff --git a/people/h1467792822.toml b/people/h1467792822.toml
@@ -0,0 +1,4 @@
+name = 'h1467792822'
+github = 'h1467792822'
+github-id = 8490488
+zulip-id = 587627
diff --git a/people/wain303009.toml b/people/wain303009.toml
@@ -0,0 +1,4 @@
+name = 'Wayne Wu'
+github = 'wain303009'
+github-id = 38760447
+zulip-id = 651021
diff --git a/repos/rust-lang/wg-binary-size.toml b/repos/rust-lang/wg-binary-size.toml
@@ -0,0 +1,7 @@
+org = "rust-lang"
+name = "wg-binary-size"
+description = "Improving the binary size of Rust programs and libraries"
+bots = []
+
+[access.teams]
+wg-binary-size = "write"
diff --git a/teams/wg-binary-size.toml b/teams/wg-binary-size.toml
@@ -0,0 +1,32 @@
+name = "wg-binary-size"
+kind = "working-group"
+subteam-of = "compiler"
+
+[people]
+leads = ["thomcc", "m-ou-se"]
+members = [
+    "davidtwco",
+    "h1467792822",
+    "Kobzol",
+    "m-ou-se",
+    "nbdd0121",
+    "nnethercote",
+    "thomcc",
+    "wain303009",
+    "workingjubilee",
+]
+
+alumni = [
+]
+
+[[github]]
+orgs = ["rust-lang"]
+
+[website]
+name = "Binary size working group"
+description = "Improving the binary size of Rust programs and libraries"
+repo = "https://github.com/rust-lang/wg-binary-size"
+zulip-stream = "wg-binary-size"
+
+[[zulip-groups]]
+name = "wg-binary-size"