Public search query: agent merged two upgrade PRs out of order — the older major overwrot