add Christian Merten to the reviewers team (#544)

leanprover-community · Oct 23, 2024 · 8f28d4b · 8f28d4b
1 parent 78fa619
commit 8f28d4b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/teams.yaml b/data/teams.yaml
@@ -91,6 +91,7 @@
     - Heather Macbeth
     - Patrick Massot
     - Bhavik Mehta
+    - Christian Merten
     - Kyle Miller
     - Kim Morrison
     - Joseph Myers