From 0b66d99df46e74f16060fbf6f4c0bd9b12b003ce 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 3bac2a7..8f48132 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],
   },
   {
@@ -594,6 +597,9 @@ export const MEMBERS: readonly Member[] = [
   },
   {
     github: 'michaelcheah',
+    discord: '1547217405837840415',
+    firstName: 'Michael',
+    lastName: 'Cheah',
     memberOf: [ROLE_IDS.FILESYSTEMS_WG],
   },
   {