[petsc-dev] branches in the git repository

[Jed Brown]

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