diff options
| author |  mbaruh <[email protected]> | 2023-03-04 21:25:43 +0200 |
|---|---|---|
| committer | mbaruh <[email protected]> | 2023-03-05 23:41:57 +0200 |
| commit | fdece3cc21f1317762535907ee50d04da0d9e1ec (patch) | |
| tree | d91cf723ed5b21ad10d55c9bfdb29a5778a3f72c /config-default.yml | |
| parent | Merge pull request #2428 from python-discord/dependabot/pip/redis-4.4.2 (diff) | |
Migrate from role-based mutes to native timeouts
- Makes use of the native timeout instead of adding the Muted role.
- Renames all references to the "mute" infraction to "timeout", except in command aliases for ease of transition.
- Maintains support for the old functionality (pardoning users with the muted role, applying timeout to users who rejoin and are not yet timed out because they originally had the role). This can be removed (the relevant parts are marked with TODOs) after there are no longer users with the old mute.
Diffstat (limited to 'config-default.yml')
| -rw-r--r-- | config-default.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config-default.yml b/config-default.yml index de0f7e4e8..9088fae34 100644 --- a/config-default.yml +++ b/config-default.yml @@ -122,9 +122,9 @@ style: token_removed: "https://cdn.discordapp.com/emojis/470326273298792469.png" user_ban: "https://cdn.discordapp.com/emojis/469952898026045441.png" - user_mute: "https://cdn.discordapp.com/emojis/472472640100106250.png" + user_timeout: "https://cdn.discordapp.com/emojis/472472640100106250.png" user_unban: "https://cdn.discordapp.com/emojis/469952898692808704.png" - user_unmute: "https://cdn.discordapp.com/emojis/472472639206719508.png" + user_untimeout: "https://cdn.discordapp.com/emojis/472472639206719508.png" user_update: "https://cdn.discordapp.com/emojis/469952898684551168.png" user_verified: "https://cdn.discordapp.com/emojis/470326274519334936.png" user_warn: "https://cdn.discordapp.com/emojis/470326274238447633.png" @@ -275,7 +275,7 @@ guild: contributors: 295488872404484098 help_cooldown: 699189276025421825 - muted: &MUTED_ROLE 277914926603829249 + muted: &MUTED_ROLE 277914926603829249 # TODO remove when no longer relevant. partners: &PY_PARTNER_ROLE 323426753857191936 python_community: &PY_COMMUNITY_ROLE 458226413825294336 sprinters: &SPRINTERS 758422482289426471 |