<div dir="ltr">These changes are pretty obnoxious for contributors who have to constantly rebase or merge (generating useless merge commits) amidst the constant formatting changes. Since most of these are applications of scripts, can we just enqueue them and apply them all at once when you consider them complete?<div>
<br></div><div>If you want to publish the changes for comment, make a branch (well, hg clone) and push there, with an explicit statement that those patches will _not_ be merged directly back to petsc-dev. (Their effect will be applied by running the script in petsc-dev when it's time to apply.)</div>
</div>