diff options
| author |  ChrisJL <[email protected]> | 2023-06-04 20:34:14 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2023-06-04 20:34:14 +0100 |
| commit | 1a362c04eb4d5d8f3c531a590d73cf5d7300ace8 (patch) | |
| tree | accbe4d840b036dcc9502eed395f19400f5ad9a3 /pydis_core/utils/members.py | |
| parent | Merge pull request #175 from python-discord/log-when-waiting-for-guild-to-be-... (diff) | |
| parent | Add changelog entry for ruff migration (diff) | |
Merge pull request #176 from python-discord/ruff-migration
Ruff migration
Diffstat (limited to 'pydis_core/utils/members.py')
| -rw-r--r-- | pydis_core/utils/members.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pydis_core/utils/members.py b/pydis_core/utils/members.py index fa8481cc..542f945f 100644 --- a/pydis_core/utils/members.py +++ b/pydis_core/utils/members.py @@ -9,7 +9,7 @@ from pydis_core.utils import logging log = logging.get_logger(__name__) -async def get_or_fetch_member(guild: discord.Guild, member_id: int) -> typing.Optional[discord.Member]: +async def get_or_fetch_member(guild: discord.Guild, member_id: int) -> discord.Member | None: """ Attempt to get a member from cache; on failure fetch from the API. |