Merge pull request #839 from oli-obk/patch-2

Add zulip team for wg-mir-opt
rust-lang · Sep 9, 2022 · a213c30 · a213c30
2 parents 448a6e8 + 017cc84
commit a213c30
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"