[brightlancer]

> Yes, someone can buy RHEL, request the source, and then share it away. And they can do nothing about it.

> However, it doesn't mean that Red Hat is required to keep doing business with them, or that they are automatically entitled to receive all future updates.

That sounds a lot like they can do something about it. It also sounds like RedHat would be violating the GNU Public License by restricting what people can do with it, i.e. share it.

> As I said, GNU never said that the source code must be downloadable by anyone, anytime, anywhere in the world, from some public repository.

That's a strawman.

[happymellon]

> That's a strawman

No it's not. It's literally what people are demanding.

[brightlancer]

There are people who think the earth is flat, but we don't take them seriously in conversations about geography, nor should we use them as examples when discussing various opinions on geography.

The legal issue as I've read it is that RedHat is trying to restrict their customers from redistributing the source code themselves; their removal of the public repos is an annoyance but not the legal issue.