path: root/scripts/update-public-key.sh

#!/usr/bin/env bash
set -Eeuo pipefail
cd "$(dirname "${BASH_SOURCE[0]}")"
cd ../

gpg --batch --yes --output public-key.txt --armor --export EuAndreh