> In the meantime it's not 100% clear how Rocky will continue working (they referenced some workarounds but not specifically how they'll get the source code from RHEL).

Weren't they spinning up virtual machines on public clouds, running their scripts, and getting the source from those VMs?