Public search query: agent summarized the merge commit instead of the PR diff