Stream: Miscellaneous

Topic: remove duplicate account


view this post on Zulip 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?

view this post on Zulip Karl Palmskog (Aug 28 2020 at 11:05):

@Cyril Cohen is the person to ask

view this post on Zulip 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.

view this post on Zulip Ralf Jung (Aug 28 2020 at 14:01):

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

view this post on Zulip Ralf Jung (Aug 28 2020 at 14:01):

deleting the other one would be fine I think

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Aug 28 2020 at 16:02):

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

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Aug 28 2020 at 16:03):

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

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Aug 28 2020 at 16:26):

Thanks for the advice!

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Aug 28 2020 at 16:30):

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

view this post on Zulip Ralf Jung (Aug 28 2020 at 18:04):

thanks @Théo Zimmermann :)

view this post on Zulip Robbert Krebbers (Aug 29 2020 at 10:16):

Thanks for deactivating the old account.


Last updated: Aug 19 2022 at 20:03 UTC