#! /bin/sh

git checkout --orphan phd-pubkey &&
git rm -rf \* && git clean -d -f -q &&

gpg --export phd@phdru.name >phd-public-key-B6287B03 &&
git add phd-public-key-B6287B03 &&
git commit -m phd-public-key-B6287B03