1
0
mirror of https://github.com/go-gitea/gitea.git synced 2024-12-16 02:09:18 +08:00
Commit Graph

1 Commits

Author SHA1 Message Date
wxiaoguang
afa8dd45af
Make git push options accept short name ()
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