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/176
To 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


Reply via email to