chore: add discord identifier for myself (#31)

* chore: add discord identifier for myself

* Update src/config/users.ts

---------

Co-authored-by: David Soria Parra <167242713+dsp-ant@users.noreply.github.com>
This commit is contained in:
Alex Hancock 2026-01-14 14:52:34 -05:00 • committed by GitHub
commit 6db46ea763
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -40,7 +40,8 @@ export const MEMBERS: readonly Member[] = [
},
{
github: 'alexhancock',
memberOf: [ROLE_IDS.RUST_SDK],
discord: '1325885093343924316',
memberOf: [ROLE_IDS.MAINTAINERS, ROLE_IDS.RUST_SDK],
},
{
github: 'an-dustin',