teams/opsem.toml: Add joshlf to zulip-groups (#1122)

* teams/opsem.toml: Add joshlf to zulip-groups * people/joshlf.toml: Add zulip-id
rust-lang · Nov 27, 2023 · 7ec5318 · 7ec5318
1 parent d1ae882
commit 7ec5318
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/people/joshlf.toml b/people/joshlf.toml
@@ -1,3 +1,4 @@
 name = "Joshua Liebow-Feeser"
 github = "joshlf"
 github-id = 1046063
+zulip-id = 132362
diff --git a/teams/opsem.toml b/teams/opsem.toml
@@ -31,4 +31,4 @@ name = "T-opsem"
 
 [[zulip-groups]]
 name = "T-opsem/meetings"
-extra-people = ["chorman0773", "thomcc", "pnkfelix"]
+extra-people = ["chorman0773", "thomcc", "pnkfelix", "joshlf"]