Stream: Miscellaneous

Topic: remove duplicate account

Robbert Krebbers (Aug 28 2020 at 09:44):

It appears there is also the account "robbert krebbers (imported from gitter)". Is there a way to remove that?

Karl Palmskog (Aug 28 2020 at 11:05):

@Cyril Cohen is the person to ask

Cyril Cohen (Aug 28 2020 at 13:53):

Hi @robbert I believe there is no current way do such a thing, cf https://github.com/zulip/zulip/issues/14912.

Ralf Jung (Aug 28 2020 at 14:01):

I dont think robbert asked for a merge, @Cyril Cohen

Ralf Jung (Aug 28 2020 at 14:01):

deleting the other one would be fine I think

Cyril Cohen (Aug 28 2020 at 14:22):

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.

Karl Palmskog (Aug 28 2020 at 14:45):

how about just renaming the user? I think it would be bad if past Gitter conversations became garbled.

Théo Zimmermann (Aug 28 2020 at 16:02):

Well, the users have been renamed. That's the point of the (Gitter import) part.

Théo Zimmermann (Aug 28 2020 at 16:02):

However, I advise @robbert to put his full name instead of just "robbert" as this will avoid people pinging the wrong account.

Karl Palmskog (Aug 28 2020 at 16:03):

sure, but "Gitter import" is not the best indicator of "this account is obsolete"

Rob Lewis (Aug 28 2020 at 16:11):

You (an admin) should be able to deactivate the old account, which removes it from @ autocompletion and doesn't delete old messages.

Théo Zimmermann (Aug 28 2020 at 16:26):

Thanks for the advice!

Théo Zimmermann (Aug 28 2020 at 16:28):

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.

Théo Zimmermann (Aug 28 2020 at 16:30):

I confirm that this works and that one can still see Robbert's old messages.

Ralf Jung (Aug 28 2020 at 18:04):

thanks @Théo Zimmermann :)

Robbert Krebbers (Aug 29 2020 at 10:16):

Thanks for deactivating the old account.

Last updated: Apr 20 2024 at 09:01 UTC