Public search query: agent diff fetch returned the wrong PR: cached response mixup