CentOS doesn't mirror redhat anymore...

There is a new distro that mirrors rhe.

https://almalinux.org/

I hadn't heard of Alma, but as I understand it some of the major contributors to CentOS left and started Rocky - https://rockylinux.org/ to also be a CentOS replacement.

Has anyone used Rocky Linux or CentOS Stream 8 with seq? Are they both compatible? Assuming so, it it seems to work fine with CentOS 7.

Any preference over which is better?

I still use CentOS 7.9.