... or related upstream.
not migrate2rocky, or almalinux-deploy. But if you look closely, they are mostly 'infrastructure' tooling to sync sources or deal with build nodes.
Note: I am not talking about 'individual contribs' but those representing the projects.
Alma at least addresses this: https://almalinux.org/blog/our-value-is-our-values/
Rocky?
It seems that Rocky Linux have contributed code as open source, just not directly to RHEL.