Skip to content

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