maintainers: add pkharvey

2022-09-24 17:34:09 +00:00
parent c5f10e8a7e
commit 10eea65c29
1 changed files with 6 additions and 0 deletions
@@ -10556,6 +10556,12 @@
    githubId = 3737;
    name = "Peter Jones";
  };
+  pkharvey = {
+    email = "kayharvey@protonmail.com";
+    github = "pkharvey";
+    githubId = 50750875;
+    name = "Paul Harvey";
+  };
  pkmx = {
    email = "pkmx.tw@gmail.com";
    github = "PkmX";