From c352e82f1953f69615bd9283eb6b15d2b319642f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Tue, 11 Aug 2026 12:24:12 +0200 Subject: [PATCH] Document GitHub usernames in PackageInfo Co-authored-by: Codex (GPT-5.5) --- PackageInfo.g | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 8b244f9..0e4dc12 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -141,7 +141,12 @@ ArchiveFormats := ".tar.gz", ## ## # If you want, add one or both of the following entries (*optional*) ## Place := "Notown", -## Institution := "Institute for Nothing" +## Institution := "Institute for Nothing", +## +## # If you want, add the person's GitHub username without the leading +## # '@' (*optional*). This may be used to ping maintainers in comments +## # on GitHub issues and pull requests. +## GitHubUsername := "fmueller" ## ) ## Persons := [ @@ -176,6 +181,7 @@ Persons := [ IsMaintainer := true, Email := "obk1@st-andrews.ac.uk", WWWHome := "https://olexandr-konovalov.github.io/", + GitHubUsername:= "olexandr-konovalov", PostalAddress := Concatenation( [ "School of Computer Science\n", "University of St Andrews\n",