diff options
| author |  Chris Lovering <[email protected]> | 2023-05-06 20:09:19 +0100 |
|---|---|---|
| committer | Chris Lovering <[email protected]> | 2023-05-31 13:03:54 +0100 |
| commit | ed602405df8e4ddf9e7993e42eea9a5e9afd4856 (patch) | |
| tree | 3c2284b9d1ef15fa423875be832207b2a06ca291 /pydis_core/utils/members.py | |
| parent | Bump action step versions in CI (diff) | |
Apply fixes for ruff linting
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. |