Merge pull request #16 from haydennyyy/master

added pep command to quickly get the link to a PEP
This commit is contained in:
Anthony Sottile 2019-11-16 14:22:10 -08:00 committed by GitHub
commit 06c052a077
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 0 deletions

18
bot.py
View File

@ -295,6 +295,24 @@ def cmd_uptime(match: Match[str]) -> Response:
return UptimeResponse()
@handle_message('!pep')
def cmd_pep(match: Match[str]) -> Response:
*_, msg = match.groups()
*_, rest = msg.partition(' ')
pep = esc(rest.zfill(4))
if not pep.isdigit():
return MessageResponse(
match,
'Please make sure you gave me a number!',
)
return MessageResponse(
match,
f'https://www.python.org/dev/peps/pep-{pep}/',
)
COMMAND_RE = re.compile(r'!\w+')
SECRET_CMDS = frozenset(('!settoday',))