Managing Leaders
Leaders are trusted members who can manage the credit system and MGEs. This guide covers how to add, remove, and manage leaders.
The Leader Command
/leader <subcommand>
Available subcommands:
add- Add a new leaderremove- Remove a leaderstatus- View all current leaders
Adding Leaders
To add a new leader:
/leader add @Username
Who Should Be a Leader?
Consider adding:
- R4 officers - Your second-in-commands
- Active members - Trusted players who can help manage
- Different timezones - Coverage for when you're offline
You must be an existing leader (or server admin) to add new leaders.
What Leaders Can Do
Once added, leaders can:
- View all player credits and transactions
- Award bonus credits with
/bonus - Nullify mistaken claims with
/nullify - Manage MGE applications with
/mge - Configure activities with
/activity config - Add or remove other leaders
Removing Leaders
To remove a leader:
/leader remove @Username
Restrictions
- Cannot remove the last leader - At least one leader must remain
- Must be a leader yourself - Only leaders can remove leaders
When to Remove
Consider removing leaders who:
- Leave the empire
- Are no longer active
- No longer need the permissions
- Abuse their privileges
Viewing Leaders
To see all current leaders:
/leader status
This displays:
- All leader Discord usernames
- When they were added (if available)
- Their Discord user ID
Leader Best Practices
Start Small
Begin with a small group of trusted leaders. You can always add more later.
Establish Guidelines
Agree on:
- When to award bonuses
- How to handle disputes
- Who manages MGEs
- Communication protocols
Regular Reviews
Periodically review your leader roster:
- Remove inactive leaders
- Add new officers as needed
- Ensure coverage across timezones
Accountability
All leader actions are logged:
- Bonus awards show who awarded them
- Nullifications record the leader's name
- MGE approvals are tracked
This creates accountability and transparency.
Common Scenarios
New R4 Promoted
/leader add @NewR4
Welcome them and share this documentation!
Leader Leaves Empire
/leader remove @FormerLeader
Do this promptly to maintain security.
Checking Who Has Access
/leader status
Review periodically to ensure the list is current.
Troubleshooting
"Permission Denied"
- You must be a leader to manage other leaders
- Server administrators can also run leader commands
- Check that you're running commands in the correct server
"Cannot remove last leader"
At least one leader must exist. If you need to transfer leadership:
- Add the new leader first
- Then remove the old leader
"User not found"
- Make sure you're @mentioning a valid Discord user
- The user must be a member of the server
- Check spelling if typing the username
Next: Configuring Activities to customize credit values.