I'm done with a branch and wish to delete it. It is not the default branch. Using git from the command line yields a "deletion prohibited" error.
$ git push origin :hotfix/DEV-12345
remote: error: denying ref deletion for refs/heads/hotfix/DEV-12345
To git@bitbucket.org:acme/product.git
! [remote rejected] hotfix/DEV-12345 (deletion prohibited)
error: failed to push some refs to 'git@bitbucket.org:acme/product.git'
I don't see a way to delete the branch in the browser UI. Is there anything else I should try?