[petsc-dev] unwind next branch

[Satish Balay]

I deleted the following branches at bitbucket:

  origin/barry/add-snespseudo
  origin/barry/august-tutorial
  origin/barry/twitter

  origin/knepley/dmswarm
  origin/knepley/sr-driver

  origin/jose/mumps-bugfix

  origin/shri/external-package-KLU
  origin/shri/feature-dm-circuit
  
Also deleted the following [as its same as
origin/barry/august-tutorial - and the changes were rebased/added to
master at some point].

  origin/jed/august-tutorial

*Everyone* (with a git clone) could do the following in their clones
to sync the 'branch list' in the clone [this way 'git branch -r' gives
a sane listing]

git remote prune origin

After the prune - you are likely to see 170 remote branches.
$ git branch -r |wc -l
170

And to get a list of local branches that are not on server - you can do: [from bash]

comm -13 <(git branch -r | sort | sed s~origin/~~) <(git branch | sort)

>From the above list of of branches deleted on server - the branches
already merged can be deleted from the local clone with:

git branch -d branchname

And the abandoned branches [listed above] can be deleted in the local clone with:

git branch -D branchname

Satish