maintainers: fix wrong githubId and github for aaravrav (#538697)

2026-07-05 15:22:22 +00:00
parent 28d4faad49 1d4564e434
commit 24cb980e60
1 changed files with 2 additions and 2 deletions
@@ -411,8 +411,8 @@
  };
  aaravrav = {
    name = "aaravrav";
-    github = "Aarav";
-    githubId = 3279912;
+    github = "aaravrav";
+    githubId = 37036762;
  };
  aarnphm = {
    email = "contact@aarnphm.xyz";