diff options
author | Jonas Chevalier <zimbatm@zimbatm.com> | 2023-11-20 22:27:26 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-20 22:27:26 +0100 |
commit | c57a4343862ae0e95f77923bc5494a55bb7d8ee2 (patch) | |
tree | 1e17ff32eb9a75cf84d1099702cebac33470285c /maintainers/team-list.nix | |
parent | ddb2b536327f776b16b968b064efce8fde1d64b4 (diff) |
maintainers: remove the numtide team (#268684)
It doesn't really make sense for us as team members are focused on different things. At the end of the day it's the individuals that do the work.
Diffstat (limited to 'maintainers/team-list.nix')
-rw-r--r-- | maintainers/team-list.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix index 833686ea0c3bf..1998b96050a6e 100644 --- a/maintainers/team-list.nix +++ b/maintainers/team-list.nix @@ -677,18 +677,6 @@ with lib.maintainers; { enableFeatureFreezePing = true; }; - numtide = { - members = [ - mic92 - flokli - jfroche - tazjin - zimbatm - ]; - scope = "Group registration for Numtide team members who collectively maintain packages."; - shortName = "Numtide team"; - }; - ocaml = { members = [ alizter |