From 0f3ba3b5cb561bd8a76102b8f2aa55a2a6ebcdea Mon Sep 17 00:00:00 2001
From: Anthony Wang <a@unnamed.website>
Date: Sat, 22 Aug 2026 13:42:15 -0500
Subject: [PATCH] maintainers: add i-love-lean

---
 maintainers/maintainer-list.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 29055c774f38..5c664e1cfdde 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -11708,6 +11708,12 @@
     github = "I-Al-Istannen";
     githubId = 20284688;
   };
+  i-love-lean = {
+    name = "i-love-lean";
+    github = "i-love-lean";
+    githubId = 170473930;
+    email = "nixpkgs@unnamed.website";
+  };
   i01011001 = {
     email = "yugen.m7@gmail.com";
     github = "i01011001";