<div dir="ltr">On Mon, Jan 28, 2013 at 3:22 PM, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov" target="_blank">jedbrown@mcs.anl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>
</blockquote><div><br></div><div style>By your own evaluation (~10%), these commits constitute a "fringe" element at best :) I don't think they are hard to rebase.</div><div style><br></div><div style>   Matt</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><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>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener
</div></div>