add Zulip group for Miri team

RalfJung · RalfJung · commit 1216005026bb · 2022-09-01T10:06:05.000+02:00
diff --git a/teams/miri.toml b/teams/miri.toml
@@ -16,3 +16,6 @@ repo = "https://github.com/rust-lang/miri"
 
 [[github]]
 orgs = ["rust-lang"]
+
+[[zulip-groups]]
+name = "T-miri"
