CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-11-09 04:38:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

[Mod] make [p]ban days parameter optional as per the doc (#2602)

Browse Source
This commit is contained in:
Tyler Adam 2019-04-23 09:45:28 -04:00 committed by Michael H
parent a1b03be27e
commit 47723cee33
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
redbot/cogs/mod/kickban.py
View File

@ -206,9 +206,14 @@ class KickBanMixin(MixinMeta):
@commands.bot_has_permissions(ban_members=True)
@checks.admin_or_permissions(ban_members=True)
async def ban(
self, ctx: commands.Context, user: discord.Member, days: int = 0, *, reason: str = None
self,
ctx: commands.Context,
user: discord.Member,
days: Optional[int] = 0,
*,
reason: str = None,
):
"""Ban a user from this server.
"""Ban a user from this server and optionally delete days of messages.
If days is not a number, it's treated as the first word of the reason.
Minimum 0 days, maximum 7. Defaults to 0."""