[petsc-dev] how do I get rid of dead branch like totally?

[Barry Smith]

  and without tons of obscure git commands.

origin/barry/kspnormsupporttablereset-must-rest-normtype

  Thanks

  Barry