maintainers: add theredstonedev

2025-01-14 20:36:09 +01:00
parent 9eb9123185
commit 93a4d40e73
1 changed files with 7 additions and 0 deletions
@@ -22207,6 +22207,13 @@
    name = "Rouven Seifert";
    keys = [ { fingerprint = "1169 87A8 DD3F 78FF 8601  BF4D B95E 8FE6 B11C 4D09"; } ];
  };
+  theredstonedev = {
+    email = "theredstonedev@devellight.space";
+    matrix = "@theredstonedev_de:matrix.devellight.space";
+    github = "TheRedstoneDEV-DE";
+    githubId = 75328096;
+    name = "Robert Richter";
+  };
  therishidesai = {
    email = "desai.rishi1@gmail.com";
    github = "therishidesai";