[petsc-dev] branches in the git repository

[Satish Balay]

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 <bsmith at mcs.anl.gov> 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 'git at bitbucket.org: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 <jedbrown at mcs.anl.gov> wrote:
> >
> >> 
> >> If you want to delete a branch on the server, use
> >> 
> >> $ git push origin :barry/fix-get-create
> 
>