Am Sun, 12 Jul 2026 15:43:58 +0200 schrieb Stefan Hajnoczi <[email protected]>:
> On Sun, Jul 12, 2026 at 12:55 PM Thomas Huth <[email protected]> wrote: > > > > Hi Stefan! > > Hi Thomas, > This pull request is from [email protected] and your GPG key on > keys.openpgp.org doesn't cover this email address. Please update your > GPG key or let me know where I can find your new key. Ah, drat, I pushed the key via "gpg" on the command line to the server, but that's not enough on keys.openpgp.org, you've got to manually verify new mail addresses there. Should be fixed now, please try again! Thanks, Thomas
