From a2a2b678ac4851a5b13981a472d6511989c49063 Mon Sep 17 00:00:00 2001
From: Daniel <40549299+DanielTemesgen@users.noreply.github.com>
Date: Thu, 10 Sep 2026 19:16:56 +0100
Subject: [PATCH] Add Discord IDs and names for Filesystems WG members (#182)

Co-authored-by: dtemesgen <dtemesgen@bloomberg.net>
---
 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],
   },
   {