Zulip Chat Archive
Stream: Zulip meta
Topic: help for account
İmran Tanq (Jan 23 2026 at 17:27):
Hello, an account I used before was closed. Do you know how I can reopen it?
Eric Wieser (Jan 23 2026 at 17:33):
I assume you are referring to @İmran Tanrikolu? Note that our Zulip policy says you may only use one account
Notification Bot (Jan 23 2026 at 17:34):
This topic was moved here from #general > help for account by Eric Wieser.
Floris van Doorn (Jan 23 2026 at 17:37):
There is also İmran Tanrikolu and İmran Tanrikolu.
We would indeed like you to only use 1 account, and it is unacceptable to make a new account just to avoid a ban.
Lastly, make sure you following the contributor guidelines: https://leanprover-community.github.io/meet.html#community-guidelines
If you want, we can reinstate one of these other accounts, and ban İmran Tanq instead (so that you have 1 active account).
Floris van Doorn (Jan 23 2026 at 17:39):
@İmran Tanq (I'm pinging you to ensure that you see that we've moved your messsage)
İmran Tanq (Jan 23 2026 at 17:48):
Floris van Doorn dedi:
There is also İmran Tanrikolu and İmran Tanrikolu.
We would indeed like you to only use 1 account, and it is unacceptable to make a new account just to avoid a ban.
Lastly, make sure you following the contributor guidelines: https://leanprover-community.github.io/meet.html#community-guidelinesIf you want, we can reinstate one of these other accounts, and ban İmran Tanq instead (so that you have 1 active account).
If you have the possibility to close this account and reopen my other accounts, that would be great. You can reopen the İmran Tanrikolu account. Thank you.
İmran Tanq (Jan 23 2026 at 18:37):
Eric Wieser dedi:
I assume you are referring to İmran Tanrikolu? Note that our Zulip policy says you may only use one account
If you have the possibility to close this account and reopen my other accounts, that would be great. You can reopen the İmran Tanrikolu account. Thank you.
İmran Tanq (Jan 24 2026 at 21:20):
I need to access an account I used before to retrieve some information from it. Could an administrator please help me?
Notification Bot (Jan 24 2026 at 21:24):
A message was moved here from #general > I want to have my closed account reopened by Eric Wieser.
Kevin Buzzard (Jan 24 2026 at 23:45):
Pretty clearly the answer is going to be "no unless you actually give the name of the account".
Last updated: Feb 28 2026 at 14:05 UTC