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,