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

Feature/remove seldom used commands #200

Merged
merged 2 commits into from
Jul 4, 2023

Conversation

JohannesRudolph
Copy link
Member

No description provided.

while they were convenient, they add clutter to the cli surface area
and don't really belong there. Other tools get by just fine without
explicit commands, a link should be fine as well
it was interesting experiment to explore but we feel its not adding
enough value to pull its weight and thus won't see enough future
investment from our side to mature out of its alpha status.
@JohannesRudolph JohannesRudolph added this pull request to the merge queue Jul 4, 2023
Merged via the queue into main with commit b073dd5 Jul 4, 2023
@JohannesRudolph JohannesRudolph deleted the feature/remove-seldom-used-commands branch July 4, 2023 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants