maintainers: remove aherrmann

2026-06-13 14:01:45 +02:00
parent 5cfbf925a5
commit f0fc7aee9c
2 changed files with 0 additions and 7 deletions
@@ -846,12 +846,6 @@
    githubId = 207841739;
    name = "Savchenko Dmitriy";
  };
-  aherrmann = {
-    email = "andreash87@gmx.ch";
-    github = "aherrmann";
-    githubId = 732652;
-    name = "Andreas Herrmann";
-  };
  ahirner = {
    email = "a.hirner+nixpkgs@gmail.com";
    github = "ahirner";
@@ -70,7 +70,6 @@ with lib.maintainers;
    members = [
      cbley
      groodt
-      aherrmann
      boltzmannrain
    ];
    scope = "Bazel build tool & related tools https://bazel.build/";