Skip to content
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.

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

Use Click for cli #205

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Use Click for cli #205

wants to merge 8 commits into from

Conversation

LecrisUT
Copy link
Contributor

@LecrisUT LecrisUT commented Aug 10, 2023

Depends on: #202

Missing package click-option-group :(

@LecrisUT LecrisUT mentioned this pull request Aug 11, 2023
4 tasks
@LecrisUT LecrisUT force-pushed the click branch 2 times, most recently from c75be1a to b9495ad Compare August 18, 2023 19:33
@LecrisUT
Copy link
Contributor Author

LecrisUT commented Sep 7, 2023

/packit build

LecrisUT added 8 commits June 17, 2024 20:37
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
Signed-off-by: Cristian Le <cristian.le@mpsd.mpg.de>
@LecrisUT
Copy link
Contributor Author

Took some effort, but I've decoupled this one from the type-hints PR, so that it can be addressed sooner

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