Skip to content

Fix deleted branch isn't removed when push the branch again#9516

Merged
zeripath merged 3 commits intogo-gitea:masterfrom lunny:lunny/fix_push_branch_bugDec 27, 2019