mirror of
https://github.com/go-gitea/gitea
synced 2025-01-09 09:24:25 +00:00
1ef74004a2
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>