Isn't that against GPL? You as a user are allowed to do whatever with the software — modify it, redistribute it etc.

The devs could buy a RHEL license and get the sources, which are still under free license, that way.