npub10lz57r4cqk8t87lr5ptshl6pc2z5yu2m8hg0w3x8lmygatwuyukszl0jhs (npub10lz…0jhs) The key owner or another authorized person would remove it from ‘.guix-authorizations’, that’s all.
(The commit that removes the key, like any other commit, needs to be signed by an authorized key.)