ci: trigger PackageDistro from PR comments#6379

fingolfin wants to merge 1 commit intomastergap-system/gap:masterfrom

codex/pkgdist-pr-triggergap-system/gap:codex/pkgdist-pr-triggerCopy head branch name to clipboard