Commit Graph

1 Commits

Author SHA1 Message Date
wxiaoguang
afa8dd45af
Make git push options accept short name (#32245)
Some checks failed
release-nightly / nightly-binary (push) Waiting to run
release-nightly / nightly-docker-rootful (push) Failing after 12s
release-nightly / nightly-docker-rootless (push) Failing after 31s
cron-translations / crowdin-pull (push) Has been skipped
cron-licenses / cron-licenses (push) Has been skipped
Just like what most CLI parsers do: `--opt` means `opt=true`

Then users could use `-o force-push` as `-o force-push=true`
2024-10-12 05:42:10 +00:00