From 47723cee3343093ec3781cda74fad118ab6cfb49 Mon Sep 17 00:00:00 2001
From: Tyler Adam <adam.tyler.j@gmail.com>
Date: Tue, 23 Apr 2019 09:45:28 -0400
Subject: [PATCH] [Mod] make [p]ban days parameter optional as per the doc
 (#2602)

---
 redbot/cogs/mod/kickban.py | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/redbot/cogs/mod/kickban.py b/redbot/cogs/mod/kickban.py
index 159d109bd..8575784bb 100644
--- a/redbot/cogs/mod/kickban.py
+++ b/redbot/cogs/mod/kickban.py
@@ -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."""