Heads up! Since september 17 we've changed to use TKey-backed SSH keys for Git tag signing. We also stopped signing individual commits. Please see:
for more information on how to verify tags using the SSH keys and how to build trust in the new keys from the earlier PGP keys.
/MC