From 6d4d0a5e70be3fc7859dd09a7b98290e9f4a32db Mon Sep 17 00:00:00 2001 From: Daniel Britten Date: Mon, 12 Aug 2024 22:19:20 +1200 Subject: [PATCH 1/2] maintainers: add danielbritten --- maintainers/maintainer-list.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 57214a7c1232..2932eb508a71 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4441,6 +4441,12 @@ githubId = 8081722; name = "Daniel Barter"; }; + danielbritten = { + email = "nixpkgs@danielb.space"; + github = "Coda-Coda"; + githubId = 5212453; + name = "Daniel Britten"; + }; danieldk = { email = "me@danieldk.eu"; github = "danieldk"; From 65c96d3de5c1404027843256753610e5141c6c23 Mon Sep 17 00:00:00 2001 From: Daniel Britten Date: Mon, 12 Aug 2024 22:34:11 +1200 Subject: [PATCH 2/2] lean4: add danielbritten as maintainer --- pkgs/applications/science/logic/lean4/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/applications/science/logic/lean4/default.nix b/pkgs/applications/science/logic/lean4/default.nix index 81be0baf5cde..3e5398e2b784 100644 --- a/pkgs/applications/science/logic/lean4/default.nix +++ b/pkgs/applications/science/logic/lean4/default.nix @@ -62,7 +62,7 @@ stdenv.mkDerivation (finalAttrs: { changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.rev}/RELEASES.md"; license = licenses.asl20; platforms = platforms.all; - maintainers = [ ]; + maintainers = with maintainers; [ danielbritten ]; mainProgram = "lean"; }; })