Skip to content

Commit 300d31f

Browse files
Merge pull request #822 from RalfJung/miri
add Zulip group for Miri team
2 parents 515ba6a + 1216005 commit 300d31f

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

teams/miri.toml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,3 +16,6 @@ repo = "https://github.com/rust-lang/miri"
1616

1717
[[github]]
1818
orgs = ["rust-lang"]
19+
20+
[[zulip-groups]]
21+
name = "T-miri"

0 commit comments

Comments
 (0)