diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix
index 66c2440b0bdc..4778365d5c9a 100644
--- a/maintainers/team-list.nix
+++ b/maintainers/team-list.nix
@@ -197,6 +197,7 @@ with lib.maintainers;
       siraben
       vbgl
       alizter
+      stepbrobd
     ];
     scope = "Maintain the Coq theorem prover and related packages.";
     shortName = "Coq";