From 9e278649c01a4f102f81bdf5f9c32f7790d2efb8 Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Sun, 12 Mar 2023 23:53:18 +0100
Subject: [PATCH 1/2] maintainers: add Alizter

<!-- ps-id: 2f46745a-f72e-48ca-94bd-c79805722172 -->

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

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 969f17ffabc0..e3032074295a 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -678,6 +678,12 @@
     githubId = 36147;
     name = "Alireza Meskin";
   };
+  alizter = {
+    email = "alizter@gmail.com";
+    github = "Alizter";
+    githubId = 8614547;
+    name = "Ali Caglayan";
+  };
   alkasm = {
     email = "alexreynolds00@gmail.com";
     github = "alkasm";

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 2/2] 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";