Repository navigation

ci: set explicit Debian maintainer identity for package gate - #14

Merged

grloper merged 2 commits into

mainfrom

fix/ci-deb-maintainer-identity

Oct 9, 2026

Merged

ci: set explicit Debian maintainer identity for package gate#14
grloper merged 2 commits into
mainfrom
fix/ci-deb-maintainer-identity

Commits on Oct 9, 2026
- ci: set explicit Debian maintainer identity so bot-authored PRs pass package gate
  grloper
  committed
  da81117
- ci: read maintainer identity from repo variables; fail clearly if DEBEMAIL unset
  grloper
  committed
  9445310