Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Make the bot depend on role-id's instead of role names for Admin, Staff and Student #10

Closed
KaoushikMurugan opened this issue Aug 23, 2022 · 2 comments · Fixed by #93
Closed

Make the bot depend on role-id's instead of role names for Admin, Staff and Student #10

KaoushikMurugan opened this issue Aug 23, 2022 · 2 comments · Fixed by #93
Assignees
@KaoushikMurugan
Labels
feature update Updating an existing feature P3 Medium priority
Milestone
4.3 Release Miles...

Comments

@KaoushikMurugan
Copy link
Owner

More flexibility for server admins
@KaoushikMurugan KaoushikMurugan added enhancement New feature or request P4 Low priority labels Aug 23, 2022
@KaoushikMurugan KaoushikMurugan mentioned this issue Aug 23, 2022
Closed
@KaoushikMurugan KaoushikMurugan self-assigned this Aug 25, 2022
@KaoushikMurugan KaoushikMurugan added feature update Updating an existing feature and removed enhancement New feature or request labels Aug 26, 2022
@KaoushikMurugan KaoushikMurugan added P3 Medium priority and removed P4 Low priority labels Oct 26, 2022
@KaoushikMurugan
Copy link
Owner Author

Currently YABOB adds the Student role to anyone who joins the server. We may want this to be an optional per-server feature

@KaoushikMurugan KaoushikMurugan added this to the 4.3 Milestone milestone Nov 1, 2022
@KaoushikMurugan KaoushikMurugan added P2 High priority P3 Medium priority and removed P3 Medium priority P2 High priority labels Nov 1, 2022
@KaoushikMurugan
Copy link
Owner Author

Two options:

  1. give the role to yabob
  2. let yabob create the roles

@KaoushikMurugan KaoushikMurugan mentioned this issue Nov 2, 2022
Merged
@KaoushikMurugan KaoushikMurugan linked a pull request Nov 2, 2022 that will close this issue
46: server setup features #93
Merged
@KaoushikMurugan KaoushikMurugan removed a link to a pull request Nov 16, 2022
46: server setup features #93
Merged
@KaoushikMurugan KaoushikMurugan linked a pull request Nov 18, 2022 that will close this issue
46: server setup features #93
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@KaoushikMurugan KaoushikMurugan

Labels
feature update Updating an existing feature P3 Medium priority
Projects
None yet
Milestone
4.3 Release Milestone
Development

Successfully merging a pull request may close this issue.

46: server setup features KaoushikMurugan/yet-another-better-office-hour-bot
1 participant
@KaoushikMurugan