1 Commits (e47bba046c7d76dbd3b61afcc4e3e33baa9ec817)

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`	2024-10-12 05:42:10 +00:00