FIX: ensure the merge message matches the up-to-date PR descriptions, the two could desync if we'd missed an update