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

..

actions.go

…

hook.go

Make git push options accept short name (#32245)

2024-10-12 05:42:10 +00:00

internal.go

…

key.go

…

mail.go

…

manager.go

…

pushoptions_test.go

Make git push options accept short name (#32245)

2024-10-12 05:42:10 +00:00

pushoptions.go

Make git push options accept short name (#32245)

2024-10-12 05:42:10 +00:00

request.go

…

restore_repo.go

…

serv.go

…