Next step is publishing these yum repos (metadata + rpms) to a location that can be made easily available to RHEL users, eg.,

• https://devstudio.redhat.com/10.0/snapshots/builds/devstudio.rpm_master/latest/x86_64/
• https://devstudio.redhat.com/10.0/snapshots/rpms/10.2.0/x86_64/

And, we have an empty placeholder site for the eventual release:

• https://devstudio.redhat.com/static/10.0/stable/rpms/x86_64/