Re: [petsc-dev] getting rid of annoying old branches

2014-04-11 Thread Satish Balay
I belive the procedure is: 1. delete the branch in the remote repo. https://bitbucket.org/petsc/petsc/wiki/quick-dev-git Delete remote branch: git push origin : (mind the colon in front of the branch name) 2. And then everyone would have to update their clones with this info git remote prune

Re: [petsc-dev] getting rid of annoying old branches

2014-04-11 Thread Barry Smith
Hong, I have NO intention of removing that one. I was just showing that I tried to delete a couple of branches and yet they still existed. Don’t worry :-) Barry On Apr 11, 2014, at 8:23 PM, Hong Zhang wrote: > Barry, > The branch > origin/barry/saws-options > is the one we are curren

Re: [petsc-dev] getting rid of annoying old branches

2014-04-11 Thread Hong Zhang
Barry, The branch origin/barry/saws-options is the one we are currently working on. Do NOT remove it. Hong On Fri, Apr 11, 2014 at 5:44 PM, Smith, Barry F. wrote: > > How do I get rid of these meaningless old branches? > > ~/Src/petsc next $ git branch -D barry/mat-nonzero-structure-state > D

[petsc-dev] getting rid of annoying old branches

2014-04-11 Thread Barry Smith
How do I get rid of these meaningless old branches? ~/Src/petsc next $ git branch -D barry/mat-nonzero-structure-state Deleted branch barry/mat-nonzero-structure-state (was 5b70ec7). ~/Src/petsc next $ git branch -D barry/mat-nonzero-structure-state-2 Deleted branch barry/mat-nonzero-structur