On 1/7/21 9:27 AM, Kyle Rose wrote:
On Thu, Jan 7, 2021 at 12:03 PM Michael Thomas <mike@xxxxxxxx> wrote:
The problem with a pull request
per se is that if it's not a nit it needs to be determined if it has
consensus
This is unrealistic, and is not in fact how things actually work. In general, very minor changes employ a form of acclimation: unless someone objects, they are assumed to have rough consensus if the editors apply them. If every single change regardless of size needed a consensus call, no document would ever get finished. In reality, only major proposed changes get this kind of formal treatment.
If anybody can send a pull request of whatever magnitude and it is pulled by the editors, that's a process problem. That's allowing a backdoor to the process of achieving consensus. Yes it happens now regardless of git, but that doesn't make it a good thing.
Mike
