Skip to content

Conversation

@woodruffw
Copy link
Member

This is a halfway point towards #1010.

More accurately: this leaves things the way they are currently, but with a more "correct" error message when the user passes an empty string for an option.

@woodruffw woodruffw self-assigned this Jul 7, 2025
@woodruffw woodruffw added cli bugfix Fixes a known bug labels Jul 7, 2025
@woodruffw woodruffw merged commit cc92548 into main Jul 7, 2025
12 checks passed
@woodruffw woodruffw deleted the ww/empty-args branch July 7, 2025 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix Fixes a known bug cli

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants