Add Discord IDs and names for Filesystems WG members (#182)

Co-authored-by: dtemesgen <dtemesgen@bloomberg.net>
2026-09-10 19:16:56 +01:00 · 2026-09-10 19:16:56 +01:00 · a2a2b678ac
commit a2a2b678ac
parent 47e467c1d2
1 changed files with 6 additions and 0 deletions
--- 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],
  },
  {