From 7f5e5917b83a4a95d949c1803625839ce24ae32f Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Wed, 10 Dec 2025 20:51:39 +0100
Subject: [PATCH] teams.ci: remove wolfgangwalther

I didn't achieve everything I had hoped for, but certainly GHA CI is in
a better state than half a year ago.

It makes no sense to have Philip as a single point of failure, so I just
added all members as maintainers - we are all committers anyway, there
is no point in making a difference here.
---
 maintainers/github-teams.json | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/maintainers/github-teams.json b/maintainers/github-teams.json
index 578c91d2008b..38312a0b760a 100644
--- a/maintainers/github-teams.json
+++ b/maintainers/github-teams.json
@@ -726,13 +726,11 @@
     "id": 13362067,
     "maintainers": {
       "philiptaron": 43863,
-      "wolfgangwalther": 9132420
-    },
-    "members": {
       "MattSturgeon": 5046562,
       "Mic92": 96200,
       "zowoq": 59103226
     },
+    "members": {},
     "name": "Nixpkgs CI"
   },
   "nixpkgs-core": {