On 13/08/2026 17:58, Peter Maydell wrote:
(3) create a brand new separate GPG key with your work address,
sign your new work key with your personal GPG key, upload the signed
key to the keyservers, and tell us that we should update; then send a
pullreq signed by your work key from your work address.
Thanks Peter - I've gone for option 3 and created a new key
(F5826DF0B37512501DDF7AF72CA236E24629B1F4) signed by my personal key.
I'll attempt to send a PR using the new key and see what happens :)
ATB,
Mark.
