update reviewers (#586)

I added my name to the list of reviewers. Co-authored-by: Etienne Marion <[email protected]>
leanprover-community · Jan 28, 2025 · 9d7e71b · 9d7e71b
1 parent 235c0fb
commit 9d7e71b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/teams.yaml b/data/teams.yaml
@@ -89,6 +89,7 @@
     - David Loeffler
     - Jireh Loreaux
     - Heather Macbeth
+    - Etienne Marion
     - Patrick Massot
     - Bhavik Mehta
     - Christian Merten