Need gpg key of developer which owns Github or Codeberg repo? Enter this in your CLI to import it (assuming devs username is dev):

Codeberg: curl https://codeberg.org/dev.gpg | gpg --import

Github: curl https://github.com/dev.gpg | gpg --import

Thanks @leip4Ier@infosec.exchange for pointing this out