mark wrote:

> [...]  Having each committer push generated files with their own
> variant of the tools causes generates updates that are hard to sanity
> check by others.

Indeed.  Luckily, configury changes are rare, and distractingly wordy
generated-code-diffs are rarer.  And if they are indeed bothersome, a
maintainer (or a bot!) could instantly regenerate the lot with any
favorite or functional version after the troublesome patches are merged.

- FChE

Reply via email to