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

Jed Brown jed at jedbrown.org
Thu Aug 21 14:52:04 CDT 2014

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>

More information about the petsc-dev mailing list