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