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

Add completions and manpages #580

Merged
merged 3 commits into from
Dec 27, 2023
Merged

Add completions and manpages #580

merged 3 commits into from
Dec 27, 2023

Conversation

lucacome
Copy link
Member

Proposed changes

  • Adds scripts to generate completions and manpages
  • Adds hints in relevant flags to suggest values

@lucacome lucacome requested a review from a team as a code owner December 19, 2023 06:30
@github-actions github-actions bot added the chore Pull requests for routine tasks label Dec 19, 2023
@lucacome lucacome force-pushed the chore/completions-manpages branch 2 times, most recently from dad11ce to 7fda75f Compare December 19, 2023 06:32
@lucacome lucacome requested a review from a team December 19, 2023 21:40
@lucacome lucacome self-assigned this Dec 21, 2023
@lucacome lucacome added this to the 1.1.0 milestone Dec 21, 2023
@lucacome lucacome enabled auto-merge (squash) December 27, 2023 09:49
@lucacome lucacome merged commit 94f563d into main Dec 27, 2023
12 checks passed
@lucacome lucacome deleted the chore/completions-manpages branch December 27, 2023 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants