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.
Kyle