From b89c6b0eb20b63482131c905185b07c04a53b835 Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Mon, 13 Mar 2023 00:39:02 +0100
Subject: [PATCH] maintainers: add Alizter to Coq team

Signed-off-by: Ali Caglayan <alizter@gmail.com>
---
 maintainers/team-list.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix
index 4b3c0176910f..2201fc7f76bc 100644
--- a/maintainers/team-list.nix
+++ b/maintainers/team-list.nix
@@ -142,6 +142,7 @@ with lib.maintainers; {
       # gares has no entry in the maintainers list
       siraben
       vbgl
+      alizter
     ];
     scope = "Maintain the Coq theorem prover and related packages.";
     shortName = "Coq";