Update for redhat-release-10.0-30.el10

Ben: This is safe to merge now ;)

WARNING DANGER WARNING DANGER

- redhat-release is a new release. Upstream .repo files have been added to the MR, but they will need to be modified manually before merging