mirror of
https://github.com/go-gitea/gitea.git
synced 2026-08-04 22:30:01 +00:00
d390d77879
On the PR view page, the "merge box" is refreshed periodically. If the PR changes (e.g.: merged and the head branch has been deleted), then the merge box doesn't exist in the refresh response. For such case, the merge box should also be removed from the UI.