maintainers: add pschmitt

2023-08-26 21:17:22 +02:00
parent 5f3e025590
commit c8aef93dae
1 changed files with 10 additions and 0 deletions
@@ -13873,6 +13873,16 @@
    githubId = 33375;
    name = "Peter Sanford";
  };
+  pschmitt = {
+    email = "philipp@schmitt.co";
+    github = "pschmitt";
+    githubId = 37886;
+    name = "Philipp Schmitt";
+    matrix = "@pschmitt:one.ems.host";
+    keys = [{
+      fingerprint = "9FBF 2ABF FB37 F7F3 F502  44E5 DC43 9C47 EACB 17F9";
+    }];
+  };
  pshirshov = {
    email = "pshirshov@eml.cc";
    github = "pshirshov";