From 2d9e951d229f2dc71d8955761497d9593370f898 Mon Sep 17 00:00:00 2001
From: "nixpkgs-ci[bot]" <190413589+nixpkgs-ci[bot]@users.noreply.github.com>
Date: Mon, 28 Sep 2026 19:46:45 +0000
Subject: [PATCH] maintainers/github-teams.json: Automated sync

(cherry picked from commit c3957117504ee0b4f14d65b8d56ae6b4c7964e43)
---
 maintainers/github-teams.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/maintainers/github-teams.json b/maintainers/github-teams.json
index 92ad7dbf9c44..7260fbc95d4b 100644
--- a/maintainers/github-teams.json
+++ b/maintainers/github-teams.json
@@ -444,8 +444,7 @@
     "id": 4020424,
     "maintainers": {
       "Mic92": 96200,
-      "kalbasit": 87115,
-      "katexochen": 49727155
+      "kalbasit": 87115
     },
     "members": {
       "mfrw": 4929861,