diff options
| author | 2020-08-15 10:55:02 +0200 | |
|---|---|---|
| committer | 2020-08-15 10:55:02 +0200 | |
| commit | 9745f6bdc5d9928cf1cc5d19e3b25da4574d52ec (patch) | |
| tree | 7ad5ae17dff807348eb777cf9794aea7963cbbbc | |
| parent | Add doc cleanup (diff) | |
Satisfy some of the Azure pipelines' code requirements
| -rw-r--r-- | bot/cogs/doc.py | 6 | 
1 files changed, 3 insertions, 3 deletions
| diff --git a/bot/cogs/doc.py b/bot/cogs/doc.py index 63dcc2c15..12ed89004 100644 --- a/bot/cogs/doc.py +++ b/bot/cogs/doc.py @@ -19,7 +19,7 @@ from sphinx.ext import intersphinx  from urllib3.exceptions import ProtocolError  from bot.bot import Bot -from bot.constants import MODERATION_ROLES, RedirectOutput, Emojis +from bot.constants import Emojis, MODERATION_ROLES, RedirectOutput  from bot.converters import ValidPythonIdentifier, ValidURL  from bot.decorators import with_role  from bot.pagination import LinePaginator @@ -73,8 +73,8 @@ async def doc_cleanup(bot: Bot, author: discord.Member, message: discord.Message      Runs the cleanup for the documentation command.      Adds a :trashcan: reaction what, when clicked, will delete the documentation embed. -    After a 300 second timeout, the reaction will be removed.""" - +    After a 300 second timeout, the reaction will be removed. +    """      await message.add_reaction(DELETE_EMOJI)      def check(reaction: discord.Reaction, member: discord.Member) -> bool: | 
