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
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
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
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