1
0
mirror of https://github.com/go-gitea/gitea.git synced 2025-01-18 10:03:38 +03:00
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
..
2023-07-21 17:28:19 +08:00
2023-07-21 17:28:19 +08:00
2024-09-27 10:27:37 -04:00
2024-04-07 19:17:06 +08:00