From 628bdcde37c9205b77b54a1e435fb665615d8082 Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Fri, 3 Jan 2025 10:24:10 -0500
Subject: [PATCH] maintainers: add stepbrobd to Coq team

---
 maintainers/team-list.nix | 1 +
 1 file changed, 1 insertion(+)

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";