diff options
author | 2020-10-09 08:52:40 +0000 | |
---|---|---|
committer | 2020-10-09 08:57:09 +0000 | |
commit | 8f43a0bd261e200e49562bed109eadf3219934f8 (patch) | |
tree | 2552c77524f209dcc6f650c435a1e16b1c66a6e3 /bot/exts/halloween/hacktoberstats.py | |
parent | fix topics and label logic (diff) |
update return type for `get_october_prs`
it returns None when no PRs found, so I put that in `Union`
with `List[dict]`
Diffstat (limited to 'bot/exts/halloween/hacktoberstats.py')
-rw-r--r-- | bot/exts/halloween/hacktoberstats.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/exts/halloween/hacktoberstats.py b/bot/exts/halloween/hacktoberstats.py index ab12bf1e..7db2d86a 100644 --- a/bot/exts/halloween/hacktoberstats.py +++ b/bot/exts/halloween/hacktoberstats.py @@ -223,7 +223,7 @@ class HacktoberStats(commands.Cog): return stats_embed @staticmethod - async def get_october_prs(github_username: str) -> List[dict]: + async def get_october_prs(github_username: str) -> Union[List[dict], None]: """ Query GitHub's API for PRs created during the month of October by github_username. |