New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CLI improvements #163

Merged

lukasalexanderweber merged 2 commits into main from cli_improvements

Oct 18, 2023

Member

lukasalexanderweber commented Oct 18, 2023

ignore folders in wildcards
provide --version in cli

lukasalexanderweber and others added 2 commits

October 18, 2023 21:03

si

c58466d


          [pre-commit.ci] auto fixes from pre-commit.com hooks

0ba84f3

for more information, see https://pre-commit.ci

lukasalexanderweber merged commit 9a7c015 into main

2 checks passed

lukasalexanderweber deleted the cli_improvements branch

October 18, 2023 19:09

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