There's an "account recovery" page on the wiki: https://tilde.team/wiki/account-recovery
I personally think he should shoot an email to sudoers@tilde.team, using the email he first used to sign up, or his tilde.team email if possible.
(accidentally sent this privately at first, oops. you have to use "Reply All" on a mailing list...)
On 4/18/26 15:42, yalla@tilde.team wrote:
Hello everyone,
I'm writing for user gougou, who has a valid account - and also a working email address - but can't ssh into tilde.team as the public key he supplied a while ago is broken (some kind of file corruption).
What would be the right way for him to get this corrected? To who by what means can he send his pubkey so that it can be put into his auhtorized_keys?
I do have a copy, but frankly, it should be him providing it...
Thanks :-) ~yalla.