[petsc-dev] branches in the git repository

[Barry Smith]

  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