@ploum So here goes your open-source vs libre software argument in the wild. It seems Red Hat clearly is on the open source rather than the libre side. ;-)
👉 https://www.redhat.com/en/blog/red-hats-commitment-open-source-response-gitcentosorg-changes