-
Notifications
You must be signed in to change notification settings - Fork 87
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Identify administrators easily #89
Comments
I think the third proposition would be a tad annoying but the two first one are great. I will make a PR to implement them. |
Merged
I really like idea 2 |
I made the PR #90 for this. |
Ishan merged the PR so we can close the issue. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Issue
Right now admins look all the same as any other user. Any user can nick themselves as the preferred username of an admin, such as
ishan
.It should be imperative that administrators can be distinguished easily from normal users. The only method right now is to go to the repository and check
admins.json
, but that will not work if this software is deployed elsewhere, on top of being clumsy and annoying.There are three suggested solutions to this problem:
admins
oroperators
command, which lists the IDs of all admins (any user's ID is public), not unlikelsbans
. This is easy to implement although tedious to sort through, especially if there are a lot of admins.users
, allowing a member to quickly check if any given user is an administrator.The text was updated successfully, but these errors were encountered: