Your PR is Merged now.
I also got the sync script back up and running. This should in theory be easy but in practice lots of people delete packages that they’ve registered which then have to be blacklisted to be skipped and people also do things like tagging versions that are unreachable even if you clone a repo, e.g. because they started the tagging process and then changed their minds and abandoned it. So in practice, keeping this thing running is an annoying process of hunting down failures and adding special cases.
Since the hardware failure has taken the sync script offline at a bad time and thereby delayed the switchover process, and since people seem to be actively contributing to the script that generates project files, it seems like it may be better to wait a bit before pulling the trigger on switching over to the new registration process, although I could be convinced otherwise.