maintainers: add bmrips

2025-05-02 10:41:12 +02:00
parent f02fddb8ac
commit 5d364c5ed2
1 changed files with 6 additions and 0 deletions
@@ -3354,6 +3354,12 @@
    github = "bmilanov";
    githubId = 30090366;
  };
+  bmrips = {
+    name = "Benedikt M. Rips";
+    email = "benedikt.rips@gmail.com";
+    github = "bmrips";
+    githubId = 20407973;
+  };
  bmwalters = {
    name = "Bradley Walters";
    email = "oss@walters.app";