Public search query: PR went from open to merged when agent tried to post its review