Am Sun, 12 Jul 2026 15:43:58 +0200
schrieb Stefan Hajnoczi <stefanha@gmail.com>:
> On Sun, Jul 12, 2026 at 12:55 PM Thomas Huth <th.huth@posteo.eu> wrote:
> >
> > Hi Stefan!
>
> Hi Thomas,
> This pull request is from th.huth@posteo.eu 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