The fetish for "manners" has stood in the way of every single positive societal change. It's exactly what MLK meant with the white moderate favoring a negative peace over positive change:
the Negro's great stumbling block in his stride toward freedom is not the White Citizen's Counciler or the Ku Klux Klanner, but the white moderate, who is more devoted to "order" than to justice; who prefers a negative peace which is the absence of tension to a positive peace which is the presence of justice; who constantly says: "I agree with you in the goal you seek, but I cannot agree with your methods of direct action"
A not-so-well designed CI is comparable to KKK. This is how discussions on the internet look today.
MLK was, of course, famous for hurling vitriolic personal insults at people he disagreed with.
You should really take a step back and consider if MLK’s struggle for racial equality is an appropriate point of comparison for an open source project deciding to change to a different CI provider.
> You should really take a step back and consider if MLK’s struggle for racial equality is an appropriate point of comparison for an open source project deciding to change to a different CI provider.
To the type of nerds who crash out about a git hosting provider and publicly insult other developers, moving off GitHub might even be more meaningful than whatever MLK did.