Hello,

I would like to update my SSH pub keys on servers. What's the best way to request that ?
An issue in the infra project? A merge request?

Regards,

S├ębastien "Seblu" Luttringer