maintainers: add hchokshi

2026-05-25 18:57:56 -07:00
parent 331800de50
commit 6cc0fc2ba4
1 changed files with 5 additions and 0 deletions
@@ -10661,6 +10661,11 @@
    githubId = 147689;
    name = "Hans-Christian Esperer";
  };
+  hchokshi = {
+    github = "hchokshi";
+    githubId = 10136407;
+    name = "Harsh Chokshi";
+  };
  hdhog = {
    name = "Serg Larchenko";
    email = "hdhog@hdhog.ru";