maintainers/teams: add gnome team

gnome3.maintainers attribute always felt like a hack and now we finally have a place to put a groups of maintainers.

Also remove lethalman, as they are no longer available.
This commit is contained in:
Jan Tojnar 2020-03-16 03:30:29 +01:00
parent dce0f4f695
commit 8597ab9994
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
2 changed files with 10 additions and 1 deletions

View File

@ -21,4 +21,13 @@ with lib.maintainers; {
members = [ jtojnar worldofpeace ];
scope = "Maintain Freedesktop.org packages for graphical desktop.";
};
gnome = {
members = [
hedning
jtojnar
worldofpeace
];
scope = "Maintain GNOME desktop environment and platform.";
};
}

View File

@ -18,7 +18,7 @@ lib.makeScope pkgs.newScope (self: with self; {
in
lib.filter (x: !(builtins.elem (lib.getName x) namesToRemove)) packages;
maintainers = with pkgs.lib.maintainers; [ lethalman jtojnar hedning worldofpeace ];
maintainers = lib.teams.gnome.members;
libsoup = pkgs.libsoup.override { gnomeSupport = true; };
libchamplain = pkgs.libchamplain.override { libsoup = libsoup; };