Skip to content

Minor fixes to improve typing - #826

Open
MattyTheHacker wants to merge 1 commit into
mainfrom
type-fixes
Open

Minor fixes to improve typing#826
MattyTheHacker wants to merge 1 commit into
mainfrom
type-fixes

Conversation

@MattyTheHacker

Copy link
Copy Markdown
Member

needs testing but in theory shouldn't change any functionality

@MattyTheHacker MattyTheHacker self-assigned this Aug 23, 2026
@MattyTheHacker
MattyTheHacker requested review from a team and a lite review from Copilot August 23, 2026 15:19
@MattyTheHacker MattyTheHacker added the refactor Improvements to the codebase that do not directly affect users label Aug 23, 2026
@MattyTheHacker MattyTheHacker added the sync Request bots to automatically keep this PR up to date with it's base branch label Aug 23, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@codecov

codecov Bot commented Aug 23, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 23.07692% with 10 lines in your changes missing coverage. Please review.
✅ All tests successful. No failed tests found.

Files with missing lines Patch % Lines
config.py 14.28% 6 Missing ⚠️
utils/command_checks.py 50.00% 2 Missing ⚠️
utils/tex_bot.py 0.00% 2 Missing ⚠️

📢 Thoughts on this report? Let us know!

@MattyTheHacker
MattyTheHacker enabled auto-merge (squash) August 23, 2026 15:20
return {discord.OptionChoice(name=value, value=code) for code, value in status_options}
return {
discord.OptionChoice(name=str(status.label), value=status.value)
for status in AssignedCommitteeAction.Status

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would be nice if we could still log an error if not statuses could be found for autocomplete

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactor Improvements to the codebase that do not directly affect users sync Request bots to automatically keep this PR up to date with it's base branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants