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

CLI Changes Sub-PR: Configuration Subcommand #593

Merged
merged 10 commits into from Aug 15, 2023

Conversation

Xophmeister
Copy link
Member

This forms a part of PR #583 and must not be merged into main alone. It is only the implementation of isolated functionality -- and thus not expected to necessarily pass the CI checks -- to split up the work into logical chunks.

NOTE Depends on #591.

@dpulls
Copy link

dpulls bot commented Aug 4, 2023

⚠️ Dpulls not installed on repository tweag/topiary. Checkout our quickstart for how to install.

@Xophmeister Xophmeister marked this pull request as ready for review August 9, 2023 13:02
Base automatically changed from chris/new-cli/parsing to chris/cli-changes August 14, 2023 08:44
@Xophmeister Xophmeister merged commit b7303c2 into chris/cli-changes Aug 15, 2023
2 of 4 checks passed
@Xophmeister Xophmeister deleted the chris/new-cli/config branch August 15, 2023 09:40
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.

None yet

2 participants