maintainers.lenny: add github (#437479)

2025-08-27 18:18:46 +00:00
parent 33de6dfc31 3cc1030e1f
commit 0467b6b6ae
1 changed files with 2 additions and 0 deletions
@@ -14367,6 +14367,8 @@
  };
  lenny = {
    name = "Lenny.";
+    github = "LennyPenny";
+    githubId = 4027243;
    matrix = "@lenny:flipdot.org";
    keys = [ { fingerprint = "6D63 2D4D 0CFE 8D53 F5FD  C7ED 738F C800 6E9E A634"; } ];
  };