Why would 200 contributors have to be okay with this migration? The project has a leader, the leader makes decisions.

because let's say 150 contributors might not be okay with the decision and leave. hard to lead from the front if there is nobody behind to be lead.

To be fair, any of them who didn't leave in the last few controversies probably won't leave over this.

	▲	0x457 3 hours ago \| parent [-]
		"I can excuse foaming over pronouns and master branch, but I draw a line at using rust" Would not be surprised by that opinion.