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