maintainers: add orthros

2023-08-07 08:27:56 -07:00
parent b63385ad1f
commit 33892d2617
1 changed files with 5 additions and 0 deletions
@@ -11360,6 +11360,11 @@
    githubId = 357005;
    name = "Marco Orovecchia";
  };
+  orthros = {
+    github = "orthros";
+    githubId = 7820716;
+    name = "orthros";
+  };
  osener = {
    email = "ozan@ozansener.com";
    github = "osener";