Good to hear that you were able to update!
I did get a reply back from the wp.org plugin admins. It does seem they were having issues. Here’s the link they sent me:
Ad for the db update… you should have had to do that on both sites. You did not have to one the one???