<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 3, 2014 at 2:30 PM, Jed Brown <span dir="ltr"><<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="">Matthew Knepley <<a href="mailto:knepley@gmail.com">knepley@gmail.com</a>> writes:<br>
> The concrete proposal has been made many times. Here it is again: Do not<br>
> let anyone merge next into master.<br>
<br>
</div>Which 'next'?  What about parents of 'next' or abandoned branches?  Do<br>
we care about the local 'next' or the 'next' associated with a remote?<br>
Which remote?  Recall that in this case, it wasn't "git merge next", but<br>
someone starting a branch in a different repository that contains<br>
commits not present in 'master'.  Define what you mean there.  What if<br>
someone starts that branch and rebases onto 'master' (rewriting commits<br>
>From 'next' so that they are not longer in the history of 'next')?<br>
<br>
But "don't merge 'next' into 'master'" is laughably short of the scope<br>
of what you are really asking for.  If you want to make a serious<br>
proposal, do that.</blockquote><div><br></div><div>Pretending not to see a problem will not make it magically go away.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="">
> Babbling about how easy errors are to avoid is senseless, and<br>
> completely blind to all the neurological research.  People make simple<br>
> mistakes all the time in every endeavor.<br>
<br>
</div>Add "review the commits in branch" to your merge checklist.<br>
</blockquote></div><br>Of course, and a manual checklist is obviously better than automating the check.</div><div class="gmail_extra">Lets get rid of all pointer checks in PETSc. The users obviously know that they</div><div class="gmail_extra">
should never pass a NULL pointer. Just look at the documentation. And type</div><div class="gmail_extra">checking is just senseless because the user ought to have passed the right type</div><div class="gmail_extra">in, and they can figure it out if something goes wrong. We spend entirely too much</div>
<div class="gmail_extra">time on things that users should be doing themselves.</div><div class="gmail_extra"><br></div><div class="gmail_extra">  Matt<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>