I worked for a fairly large tech company (not a household name, but well known in it’s sector) and this was their policy for core business IP related changes GPL things. Modified GPL sources were neatly packaged up and available but it was a violation of the support contract to share them.

It ultimately doesn’t matter (to those customers) if it’s a violation of the license - the customers were large businesses who were not going to risk an expensive court case without a clear victory against a company they’re investing hundreds of millions of dollars (or more) in, on some moral crusade.

I’m not defending it (and I did not enjoy working for said company), just saying that this model already exists.

Edit: I should also say that I have no idea if that’s going to be RedHats policy, but it would make sense if it were.