Skip to content

Commit e065577

Browse files
Merge main into docs-updates
2 parents 6a4b9bc + f533673 commit e065577

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

utils/tex_bot.py

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -431,6 +431,7 @@ async def get_everyone_role(self) -> discord.Role:
431431
)
432432
if not everyone_role:
433433
raise EveryoneRoleCouldNotBeRetrievedError
434+
434435
return everyone_role
435436

436437
async def check_user_has_committee_role(self, user: discord.Member | discord.User) -> bool:
@@ -463,6 +464,7 @@ async def get_main_guild_member(
463464
main_guild_member: discord.Member | None = self.main_guild.get_member(user.id)
464465
if not main_guild_member:
465466
raise DiscordMemberNotInMainGuildError(user_id=user.id)
467+
466468
return main_guild_member
467469

468470
async def get_member_from_str_id(self, str_member_id: str) -> discord.Member:
@@ -505,6 +507,7 @@ async def fetch_log_channel(self) -> discord.TextChannel:
505507
"when no DISCORD_LOG_CHANNEL_WEBHOOK_URL has been set."
506508
)
507509
raise ValueError(NO_LOG_CHANNEL_MESSAGE)
510+
508511
session: aiohttp.ClientSession
509512
async with aiohttp.ClientSession() as session:
510513
partial_webhook: Webhook = Webhook.from_url(

0 commit comments

Comments
 (0)