I've been using git remote prune origin
satish On Wed, 11 Dec 2013, Jed Brown wrote: > 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 > >
