@ -14,6 +14,7 @@ cd "$DEST";
if [ ! -d .git ]; then
git clone --recurse-submodules "$REPO" "$DEST";
fi
git remote set-url origin "$REPO";
[ -z "$GPG_FINGERPRINT" ] ||
gpg --quiet --keyserver eu.pool.sks-keyservers.net --recv "$GPG_FINGERPRINT";