From dd9dc00de2374261045af4f184691b3355bc6c34 Mon Sep 17 00:00:00 2001 From: jthulhu Date: Mon, 11 Nov 2024 08:33:54 +0100 Subject: [PATCH] maintainers: add jthulhu --- maintainers/maintainer-list.nix | 6 ++++++ pkgs/by-name/le/lean4/package.nix | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 44b7464cee3b..55fcf85082a0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10929,6 +10929,12 @@ githubId = 54635632; keys = [ { fingerprint = "4C68 56EE DFDA 20FB 77E8 9169 1964 2151 C218 F6F5"; } ]; }; + jthulhu = { + name = "Adrien Mathieu"; + email = "adrien.lc.mathieu@gmail.com"; + github = "jthulhu"; + githubId = 23179762; + }; jtobin = { email = "jared@jtobin.io"; github = "jtobin"; diff --git a/pkgs/by-name/le/lean4/package.nix b/pkgs/by-name/le/lean4/package.nix index cc05d0dbd33b..cd92e1db1985 100644 --- a/pkgs/by-name/le/lean4/package.nix +++ b/pkgs/by-name/le/lean4/package.nix @@ -63,7 +63,7 @@ stdenv.mkDerivation (finalAttrs: { changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.rev}/RELEASES.md"; license = licenses.asl20; platforms = platforms.all; - maintainers = with maintainers; [ danielbritten ]; + maintainers = with maintainers; [ danielbritten jthulhu ]; mainProgram = "lean"; }; })