From 475b209560014b3f10ee24e55f009e996cb00de7 Mon Sep 17 00:00:00 2001
From: dtemesgen <dtemesgen@bloomberg.net>
Date: Wed, 9 Sep 2026 13:34:39 +0100
Subject: [PATCH] Add Discord IDs and names for Filesystems WG members

---
 src/config/users.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/config/users.ts b/src/config/users.ts
index 45fd732..bfe7717 100644
--- a/src/config/users.ts
+++ b/src/config/users.ts
@@ -197,6 +197,9 @@ export const MEMBERS: readonly Member[] = [
   },
   {
     github: 'DanielTemesgen',
+    discord: '1537229954272600064',
+    firstName: 'Daniel',
+    lastName: 'Temesgen',
     memberOf: [ROLE_IDS.FILESYSTEMS_WG],
   },
   {
@@ -595,6 +598,9 @@ export const MEMBERS: readonly Member[] = [
   },
   {
     github: 'michaelcheah',
+    discord: '1547217405837840415',
+    firstName: 'Michael',
+    lastName: 'Cheah',
     memberOf: [ROLE_IDS.FILESYSTEMS_WG],
   },
   {