1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

maintainers: Add a new maintainer

This commit is contained in:
David Chocholatý 2024-11-03 18:21:40 +01:00
parent 994620a42f
commit 0da21ab295
No known key found for this signature in database
GPG key ID: 8FC8E68432148DCA
2 changed files with 7 additions and 1 deletions

View file

@ -19,6 +19,12 @@
github = "abayomi185"; github = "abayomi185";
githubId = 21103047; githubId = 21103047;
}; };
adda = {
name = "David Chocholatý";
email = "chocholaty.david@protonmail.com";
github = "Adda0";
githubId = 52529234;
};
afresquet = { afresquet = {
name = "Alvaro Fresquet"; name = "Alvaro Fresquet";
email = "alvarofresquet@gmail.com"; email = "alvarofresquet@gmail.com";

View file

@ -30,7 +30,7 @@ let
}; };
}; };
in { in {
meta.maintainers = [ hm.maintainers.mainrs ]; meta.maintainers = [ hm.maintainers.mainrs hm.maintainers.adda ];
options.programs.zellij = { options.programs.zellij = {
enable = mkEnableOption "Zellij"; enable = mkEnableOption "Zellij";