Update admin team for 2025

leanprover-community · Jan 1, 2025 · 08284b4 · 08284b4
1 parent 34060e4
commit 08284b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/teams.yaml b/data/teams.yaml
@@ -12,10 +12,10 @@
     - Mario Carneiro
     - Johan Commelin
     - Robert Y. Lewis
-    - Heather Macbeth
     - Patrick Massot
     - Kim Morrison
     - Leonardo de Moura
+    - Oliver Nash
     - Sebastian Ullrich
   use_biography: True
 - name: Maintainer team