maintainers: remove shardy

2026-07-12 12:25:09 -04:00
parent 5cfd76ff6e
commit 55f67a8dc7
1 changed files with 0 additions and 6 deletions
@@ -25602,12 +25602,6 @@
    githubId = 106669955;
    name = "Léon Gessner";
  };
-  shardy = {
-    email = "shardul@baral.ca";
-    github = "shardulbee";
-    githubId = 16765155;
-    name = "Shardul Baral";
-  };
  sharpchen = {
    github = "sharpchen";
    githubId = 77432836;