I've seen it mentioned in a few places; it took me a bit to find it, but it's in the "subscription services agreement"[1], the relevant bit being section 2.2:

I've seen it mentioned in a few places; it took me a bit to find it, but it's in the "subscription services agreement"[1], the relevant bit being section 2.2: "Distributing the Subscription Services (or any portion) to a third party outside the Portal or using the Subscription Services to support a third party without paying the respective fees is a material breach of this Agreement even though the open source license applicable to individual software packages may give you the right to distribute those packages (and this Agreement is not intended to interfere with your rights under those individual licenses)." I think the way this works (legally) is that accessing their service (their Customer Portal) is covered under this EULA, while the software is covered under the license. So technically you're not adding additional restrictions to the GPL. Or something like that. Not a lawyer etc. etc. Edit: I see there's also some discussion of this over here, in case you're interested: https://news.ycombinator.com/item?id=36436375 https://news.ycombinator.com/item?id=36436375 [1]: https://www.redhat.com/rhdc/managed-files/GLOBAL_Cloud_Subscription_Services_Agreement_English_20171117.pdf https://www.redhat.com/rhdc/managed-files/GLOBAL_Cloud_Subsc...