My previous git signing key expired, so I uploaded a new one.
I didnt sign all of my github repos with it yet,
but I took the opportunity to polish my optimized dd
repo, adding a useful help and making it fully usable
under the GPLv3.
If you dont do so already, consider signing your
external git repos. Its painless and you will thank me later
in case your external repos will be fucked with.