mirror of
https://gitea.com/gitea/gitea-mirror.git
synced 2026-03-28 07:27:24 +00:00
Ensure that pr.HeadRepo is loaded before using it in GetPullRequestCommitStatusState. Fixes error on merging with successful commit merge statuses.