option name formatting in help (#1247)

Add some controls to manipulate option string formatting, including
disabling the default values, disabling default flag values, disabling
type names.

Fixes #857

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
This commit is contained in:
Philip Top
2025-11-03 04:55:14 -08:00
committed by GitHub
parent 3a1946e965
commit 3a69ed51c0
9 changed files with 241 additions and 48 deletions

View File

@@ -5,7 +5,7 @@ on:
permissions:
contents: write
pull-request: write
pull-requests: write
jobs:
label-merged: