Add edef to the infrastructure team page (#1422)

Probably worth making this official 😅
NixOS · May 12, 2024 · 8260f53 · 8260f53
1 parent 418fe4a
commit 8260f53
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/content/teams/04_infrastructure.mdx b/src/content/teams/04_infrastructure.mdx
@@ -12,6 +12,9 @@ members:
   discourse: hexa
 - name: Julien Malka
   discourse: julienmalka
+- name: edef
+  github: edef1c
+  discourse: edef
 contact:
 - name: Discourse
   href: https://discourse.nixos.org/c/dev/infrastructure-team/31