Control: summary -1 0 git-debpush should have a way to configure the gpg key to use. It should look at the following places, in order: _ * command line -u option (already implemented) * git config option dgit-distro.$distro.keyid * git config option dgit.default.keyid * environment variable DEB_SIGN_KEYID _ This could be documented under the -u option in git-debpush.
-- Ian Jackson <[email protected]> These opinions are my own. Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.
