Commit Graph

1 Commits (01b1896bf5eacfd7f4f64d9ebb0ad165e3e60a5c)

Author SHA1 Message Date
wxiaoguang afa8dd45af
Make git push options accept short name (#32245)
Just like what most CLI parsers do: `--opt` means `opt=true`

Then users could use `-o force-push` as `-o force-push=true`
4 months ago