From ecffb40d603b6ddc7e6dac58e671e18b352c14c3 Mon Sep 17 00:00:00 2001 From: Peder Date: Thu, 23 Jul 2026 22:24:32 +0200 Subject: [PATCH] chore: add name and email prefix for pederhp Co-Authored-By: Claude Fable 5 --- src/config/users.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/config/users.ts b/src/config/users.ts index 0ed1cc86..a11fac2b 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -643,6 +643,9 @@ export const MEMBERS: readonly Member[] = [ { github: 'pederhp', discord: '166255967665651713', + firstName: 'Peder Holdgaard', + lastName: 'Pedersen', + googleEmailPrefix: 'pederhp', memberOf: [ ROLE_IDS.COMMUNITY_MANAGERS, ROLE_IDS.MAINTAINERS,