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

[Jed Brown]

Barry Smith <bsmith at mcs.anl.gov> writes:

>   and without tons of obscure git commands.
>
> origin/barry/kspnormsupporttablereset-must-rest-normtype

  git push origin :barry/kspnormsupporttablereset-must-rest-normtype

deletes it on the server.  You can delete you local copy with

  git branch -D barry/kspnormsupporttablereset-must-rest-normtype
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20140821/bd497737/attachment.sig>