mirror of
https://github.com/go-gitea/gitea.git
synced 2025-03-12 00:50:58 +01:00
After migrating a repository with pull request, the branch is missed and after the pull request merged, the branch cannot be deleted.
After migrating a repository with pull request, the branch is missed and after the pull request merged, the branch cannot be deleted.