La chiave del repository è cambiata, aggiornare prego…

Stamani dalle consuete mail del server mi sono reso conto che l’aggiornamento automatico del repository falliva

gpg: no default secret key: secret key not available

:-/