From d4c565fea9f59a3435e2c2c9e2052fd2da34b9b7 Mon Sep 17 00:00:00 2001
From: int3l <int3l@users.noreply.github.com>
Date: Sun, 24 Nov 2019 01:33:22 +0200
Subject: [PATCH] Convert weird Unicode integers to ASCII format

---
 bot.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bot.py b/bot.py
index 226c213..58cb723 100644
--- a/bot.py
+++ b/bot.py
@@ -299,7 +299,7 @@ def cmd_uptime(match: Match[str]) -> Response:
 def cmd_pep(match: Match[str]) -> Response:
     *_, number = match.groups()
     return MessageResponse(
-        match, f'https://www.python.org/dev/peps/pep-{number.zfill(4)}/',
+        match, f'https://www.python.org/dev/peps/pep-{int(number).zfill(4)}/',
     )