PackageInfo.g: add my GitHub username

fingolfin · fingolfin · commit a06209629a6e · 2025-07-16T15:15:06.000+02:00
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -69,6 +69,7 @@ Persons := [
     IsMaintainer  := true,
     Email         := "mhorn@rptu.de",
     WWWHome       := "https://www.quendi.de/math",
+    GitHubUsername := "fingolfin",
     PostalAddress := Concatenation(
                        "Fachbereich Mathematik\n",
                        "RPTU Kaiserslautern-Landau\n",
