Correct. Usually it corrects itself in the following run. I will try to look at it.
Do we have a DEV environment?
its a simple shell script - any CentOS VM or container can be used as a dev environment for this, you just need yum, yum-utils and distribution-gpg-keys.
if you feel like writing orderly STDCI configuration for this and some bats tests, be my guest...
How urgent is this really is? I prefer to reduce priority if the mirror ends up fixing itself.
It is not urgent at all