#! /bin/sh phd_public_key_hash="`gpg --export phd@phdru.name | git hash-object --stdin -w`" && exec git tag -m "phd's public key (B6287B03)" \ -s phd-public-key-B6287B03 "$phd_public_key_hash"