su plom -c "gpg --recv-key ${gpg_key}"
# TODO: After this, we could in theory remove dirmngr if we only installed it just now.
su plom -c "cd && git clone /var/public_repos/plomlombot-irc"
su plom -c "gpg --recv-key ${gpg_key}"
# TODO: After this, we could in theory remove dirmngr if we only installed it just now.
su plom -c "cd && git clone /var/public_repos/plomlombot-irc"