PackageInfo.g: add my GitHub username

fingolfin · fingolfin · commit 923fda958616 · 2025-07-03T09:42:36.000+02:00
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -33,6 +33,7 @@ Persons := [
     IsMaintainer  := true,
     Email         := "mhorn@rptu.de",
     WWWHome       := "https://www.quendi.de/math",
+    GitHubUsername := "fingolfin",
   ),
   ],
 
