From 7ec53186fb128540ce5fbbb64a7ebad8f52d9c07 Mon Sep 17 00:00:00 2001 From: Joshua Liebow-Feeser Date: Sun, 26 Nov 2023 18:51:37 -0800 Subject: [PATCH] teams/opsem.toml: Add joshlf to zulip-groups (#1122) * teams/opsem.toml: Add joshlf to zulip-groups * people/joshlf.toml: Add zulip-id --- people/joshlf.toml | 1 + teams/opsem.toml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/people/joshlf.toml b/people/joshlf.toml index c212623c8..b77648114 100644 --- 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 index 6f5246d67..9083a0ccc 100644 --- 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"]