nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-26 18:24:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

maintainers: add i-love-lean

Browse Source
This commit is contained in:
Anthony Wang
2026-08-22 13:42:15 -05:00
parent c387c74648
commit 0f3ba3b5cb
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View File

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