From: Thorsten Leemhuis on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1779#note_945872976
> that changing RHEL/rhel references to ARK/(ark or dist) is not worth it I'd say they are, as such small details send a subliminal message to external participators and IMHO can be discouraging for them, as they give some small "this is a RHEL thing, don't interfere" vibes. But no worries, not your fault, I guess some higher ups first need to decide that some de-redhating is a good idea and rest my case :-D _______________________________________________ kernel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
