<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><br></blockquote></span><div><div>10:09 mark/snes-ex56c= ~/Codes/petsc/src/snes/examples/tutorials$ git reset --hard f2cb8422898d35ef96e146caa3a95b2f879b25f1</div><div>HEAD is now at f2cb842 fixed bug in makefile</div><div><br></div></div><div>OK, now what?</div><span class=""><div> </div></span></div></div></div></blockquote><div><br></div><div>I guess there is not much choice.  Pushed.</div><div><br></div><div><div>10:16 1 mark/snes-ex56c<> ~/Codes/petsc/src/snes/examples/tutorials$ git pull origin mark/snes-ex56c</div><div>From bitbucket.org:petsc/petsc</div><div> * branch            mark/snes-ex56c -> FETCH_HEAD</div><div>Merge made by the 'recursive' strategy.</div><div>10:16 mark/snes-ex56c> ~/Codes/petsc/src/snes/examples/tutorials$ git push origin mark/snes-ex56c</div><div>Counting objects: 1, done.</div><div>Writing objects: 100% (1/1), 259 bytes | 0 bytes/s, done.</div><div>Total 1 (delta 0), reused 0 (delta 0)</div><div>remote: </div><div>remote: View pull request for mark/snes-ex56c => master:</div><div>remote:   <a href="https://bitbucket.org/petsc/petsc/pull-requests/479?t=1">https://bitbucket.org/petsc/petsc/pull-requests/479?t=1</a></div><div>remote: </div><div>To git@bitbucket.org:petsc/petsc.git</div><div>   1e2c4b3..69a0889  mark/snes-ex56c -> mark/snes-ex56c</div></div></div></div></div>