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
Shorter options help #1872
Shorter options help #1872
Commits on Feb 21, 2023
-
-
-
-
-
-
-
Tweak the help output for the
test
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
shebang
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
setup-ide
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
repl
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
publish
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
publish setup
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Tweak the help output for the
publish local
sub-command- shorten the help message - tweak which options are included in the short help - misc tweaks
-
Hide non-publishing-specific options in the short help output for `pu…
…blish`, `publish local` and `publish setup` sub-commands
-
-
Tweak the short help output for the
github secret list
& `github se……cret create` sub-commands
-
-
-
-
-
-
-
-
-
-
-
-
- temporarily remove console-specific characters from help messages to fix the reference doc website - remove redundant tags for options already tagged as `SpecificationLevel.MUST` - rename `tags.important` to `tags.inShortHelp`
-
-