It appears there is also the account "robbert krebbers (imported from gitter)". Is there a way to remove that?
@Cyril Cohen is the person to ask
Hi @robbert I believe there is no current way do such a thing, cf https://github.com/zulip/zulip/issues/14912.
I dont think robbert asked for a merge, @Cyril Cohen
deleting the other one would be fine I think
I do not think deletion is allowed, and maybe it can be performed by zulip sysadmins, at the cost of deleting his message history from gitter (which I strived to keep) and making past conversations un-understandable.
how about just renaming the user? I think it would be bad if past Gitter conversations became garbled.
Well, the users have been renamed. That's the point of the
(Gitter import) part.
However, I advise @robbert to put his full name instead of just "robbert" as this will avoid people pinging the wrong account.
sure, but "Gitter import" is not the best indicator of "this account is obsolete"
You (an admin) should be able to deactivate the old account, which removes it from @ autocompletion and doesn't delete old messages.
Thanks for the advice!
I've deactivated @robbert's Gitter imported account now. There are probably other Gitter imported accounts that should be deactivated because their owner has re-registered with a new account, but not all because some can still be reclaimed if I understood things correctly.
I confirm that this works and that one can still see Robbert's old messages.
thanks @Théo Zimmermann :)
Thanks for deactivating the old account.
Last updated: Jun 10 2023 at 06:31 UTC