You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 26, 2024. It is now read-only.
I'm a server admin and this individual doesn't need an account on my server anymore (abuse mitigation).
For cases 2 and 3 we can reasonably expect that the profile for that user should also be deleted/forgotten so that when it is queried down the line it isn't served to people/servers. The first case wouldn't really care I imagine.