Add zulip team for wg-mir-opt

rust-lang · Sep 9, 2022 · 017cc84 · 017cc84
1 parent 21d3ebe
commit 017cc84
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
@@ -18,3 +18,6 @@ zulip-stream = "t-compiler/wg-mir-opt"
 [permissions]
 perf = true
 bors.rust.try = true
+
+[[zulip-groups]]
+name = "WG-mir-opt"