From 017cc84b5f695a4dad5839bf59b8e24530fb993c Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Fri, 9 Sep 2022 14:55:27 +0200
Subject: [PATCH] Add zulip team for wg-mir-opt

---
 teams/wg-mir-opt.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
index 0960bd104..7025e0793 100644
--- 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"