doc(README): add Michael Rothgang to the maintainer list (#30588)

grunweg · grunweg · commit 6b1d0f08cb89 · 2025-10-15T16:19:02.000Z
diff --git a/README.md b/README.md
@@ -152,6 +152,7 @@ For a list containing more detailed information, see https://leanprover-communit
 * Kim Morrison (@kim-em): category theory, tactics
 * Oliver Nash (@ocfnash): algebra, geometry, topology
 * Joël Riou (@joelriou): category theory, homology, algebraic geometry
+* Michael Rothgang (@grunweg): differential geometry, analysis, topology, linters
 * Damiano Testa (@adomani): algebra, algebraic geometry, number theory, tactics
 * Adam Topaz (@adamtopaz): algebra, category theory, algebraic geometry
 * Eric Wieser (@eric-wieser): algebra, infrastructure
