Merge pull request #239567 from devpikachu/add-maintainer

maintainers: add devpikachu
2023-06-24 10:07:44 -05:00
parent 9d8947ca8e 792b9aac08
commit e1bec1e535
1 changed files with 7 additions and 0 deletions
@@ -3977,6 +3977,13 @@
    githubId = 17111639;
    name = "Devin Singh";
  };
+  devpikachu = {
+    email = "andrei.hava@proton.me";
+    matrix = "@andrei:matrix.detpikachu.dev";
+    github = "devpikachu";
+    githubId = 30475873;
+    name = "Andrei Hava";
+  };
  devusb = {
    email = "mhelton@devusb.us";
    github = "devusb";