mirror of
https://github.com/go-gitea/gitea.git
synced 2026-02-22 00:10:04 +00:00
Backport #32075 by @lunny After migrating a repository with pull request, the branch is missed and after the pull request merged, the branch cannot be deleted. Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>