<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 13, 2014 at 12:02 PM, Satish Karra <span dir="ltr"><<a href="mailto:satkarra@gmail.com" target="_blank">satkarra@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p class="MsoNormal"><span style="font-family:'Andale Mono'">Ricardos-MacBook-Pro:petsc
gonzaric$ git revert 06283fd4323cef45a7147b2226c8e0c084e2a1d2</span></p>

<p class="MsoNormal"></p></blockquote></div><br>Did you meant "git reset --hard" or git checkout here?  Git revert specifically undoes a commit...</div><div class="gmail_extra"><br></div><div class="gmail_extra">
I'm not sure what's going wrong with the configuration crash...</div><div class="gmail_extra"><br></div><div class="gmail_extra">A</div></div>