mirror of
https://github.com/go-gitea/gitea.git
synced 2026-09-12 08:52:12 +09:00
7636d581d9
For some reasons, branches between database and git are not synced. If a branch exists in database but not in the git, it should be able to be deleted. --------- Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>