groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Pascal Schumacher <pascalschumac...@gmx.net>
Subject Deleting a branch
Date Mon, 09 Nov 2015 22:16:46 GMT
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://pascalschumacher@git-wip-us.apache.org/repos/asf/incubator-groovy.git
  ! [remote rejected] pr/176 (deletion prohibited)
error: failed to push some refs to 
'https://pascalschumacher@git-wip-us.apache.org/repos/asf/incubator-groovy.git'

Thanks,
Pascal



Mime
View raw message