path: root/bin/get-wkd-key

#!/bin/sh

# works for all DDs: `get-wkd-key foo@debian.org`

gpg -v --auto-key-locate clear,wkd,nodefault --locate-key "$@"