Overview
The Demote User command allows server administrators to revoke semester moderator privileges from users. This removes their access to moderation commands.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” → “Demote from Semestermod”
- The bot will remove the user from the semester moderators database
Parameters
The user to demote from semester moderator (selected via context menu)
Examples
Demoting a User
Action: Right-click on a user and select “Demote from Semestermod” Response:What Users Lose After Demotion
Demoted users will lose access to:- Pin/unpin messages (
pincommand) - Delete messages (
delete_messagecommand) - Other commands that check for
has_mod_or_semestermodpermission
Users who have Discord’s MANAGE_MESSAGES or other elevated permissions will still be able to use moderation commands even after demotion.
Implementation Details
Frommoderation.rs:105-123:
Database Operation
The command removes the user from thesemestermods table:
has_mod_or_semestermod permission check.
This command is guild-only and can only be used within server channels, not in DMs.
Demoting a user who is not currently a semester moderator will not cause an error - the database operation will simply affect zero rows.