<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Feb 2, 2013 at 4:14 PM, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think non-working is a misnomer here. These do not break the build.</blockquote></div><br>They issue warnings and the code can't possibly execute correctly. Just don't push it (or push it somewhere else) until it's been cleaned up to the point where it's not wasting our time to review.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Related: I would like to start tweaking our workflow to make petsc-dev more consistently stable, so that more applications can work with it instead of needing to wait for a release. Having people pushing code that doesn't work, isn't tested, and obviously wouldn't pass review is not good for stability.</div>
</div>