Skip to content

Moves to Clipanion v2#301

Merged
arcanis merged 12 commits into
masterfrom
clipanion-v2
Jul 23, 2019
Merged

Moves to Clipanion v2#301
arcanis merged 12 commits into
masterfrom
clipanion-v2

Conversation

@arcanis
Copy link
Copy Markdown
Member

@arcanis arcanis commented Jul 17, 2019

This diff overhauls the CLI to use the v2 of Clipanion (which I'm currently building). The most obvious advantage is that the CLI options are now properly typechecked in most cases 🥳

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant