Hi everybody, pushed "pr/176" by mistake. How can I delete the branch? I tried:
incubator-groovy>git push origin --delete pr/176 remote: error: denying ref deletion for refs/heads/pr/176To https://[email protected]/repos/asf/incubator-groovy.git
! [remote rejected] pr/176 (deletion prohibited)error: failed to push some refs to 'https://[email protected]/repos/asf/incubator-groovy.git'
Thanks, Pascal
