OpenPGP certificates for astrobian repositories