<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">Satish, please don't use this syntax for force pushes.  Prefer<br>
<br>
 git push origin +mark/snes-ex65c<br></blockquote><div><br></div><div>08:13 mark/snes-ex56c<> ~/Codes/petsc$ git push origin +mark/snes-ex65c</div><div>error: src refspec mark/snes-ex65c does not match any.</div><div>error: failed to push some refs to 'git@bitbucket.org:petsc/petsc.git'</div><div><br></div><div>FYI, I then tried to pull (again) to remove this "<":</div><div><br></div><div>08:16 1 mark/snes-ex56c<> ~/Codes/petsc$ 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><br></div><div>This was a merge. then tried again w/o luck:</div><div><br></div><div>08:17 mark/snes-ex56c> ~/Codes/petsc$ git push origin +mark/snes-ex65c</div><div>error: src refspec mark/snes-ex65c does not match any.</div><div>error: failed to push some refs to 'git@bitbucket.org:petsc/petsc.git'</div><div><br></div><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>
This is to avoid people with old versions of Git or a weird push.default<br>
settings from obliterating other branches.<br>
</blockquote></div><br></div></div>