mirror of
https://github.com/go-gitea/gitea
synced 2026-08-04 03:55:27 +00:00
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.