Issue Summary

After a pull request is merged, the pull-request UI can temporarily display incorrect source-branch or merge information. The displayed details later correct themselves.
It is a frontend display issue and does not alter the underlying Git history.

Steps to Reproduce

1. Open a pull request after it has been merged.
2. Observe the source-branch and merge information displayed in the PR UI.
3. In affected cases, the UI temporarily displays branch or merge details that do not belong to the pull request.
4. Refresh the pull-request page and review the displayed information again.

Expected Results

The pull-request page consistently displays the correct source branch, destination branch, merge commit, and merge information for that pull request.

Actual Results

The pull-request page can temporarily display incorrect branch or merge information. Refreshing the page or revisiting the PR later shows the correct information.

Workaround

Refresh the pull-request page when incorrect branch or merge details are displayed. This reloads the PR information and should show the correct details.