Overview
The Promote User command allows server administrators to grant semester moderator privileges to users. Semester moderators gain access to moderation commands like pin and delete message.Permissions Required
To use this command, you must have:MANAGE_GUILDDiscord permission (typically Server Administrator)
Usage
- Right-click on a user’s profile or message
- Select “Apps” → “Promote to Semestermod”
- The bot will add the user to the semester moderators database
Parameters
The user to promote to semester moderator (selected via context menu)
Examples
Promoting a User
Action: Right-click on a user and select “Promote to Semestermod” Response:What Semester Moderators Can Do
Once promoted, users gain access to:- Pin/unpin messages (
pincommand) - Delete messages (
delete_messagecommand) - Other commands that check for
has_mod_or_semestermodpermission
Implementation Details
Frommoderation.rs:80-98:
Database Structure
The command inserts the user into thesemestermods table:
has_mod_or_semestermod permission function to grant moderation access.
This command is guild-only and can only be used within server channels, not in DMs.