#!/bin/sh -eu

# Get these with:
# gpg --list-keys --with-wkd-hash
key_id=7ECA568E3B746638DDE8C403CF66831E74566BD0
wkd_hash=68er7yd1w5uq4zys7emjn4tifihcwqdp

gpg --export-options=export-minimal --export "$key_id" >static/.well-known/openpgpkey/hu/"$wkd_hash"