git fetch --prune And read that syntax as pushing "nothing" to the remote branch.
Barry Smith <[email protected]> wrote: > > 1) this syntax is absurd > > 2) it don’t work > >git push origin :barry/fix-get-create >error: unable to delete 'barry/fix-get-create': remote ref does not >exist >error: failed to push some refs to '[email protected]:petsc/petsc.git' >~/Src/petsc master $ git branch -a | grep fix-get-create > remotes/origin/barry/fix-get-create > > >On Dec 10, 2013, at 12:07 AM, Jed Brown <[email protected]> wrote: > >> >> If you want to delete a branch on the server, use >> >> $ git push origin :barry/fix-get-create
