[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-help-public] [sr #107682] deleting a remote branch in git
From: |
Nikos Mavrogiannopoulos |
Subject: |
[Savannah-help-public] [sr #107682] deleting a remote branch in git |
Date: |
Tue, 03 Jul 2012 17:55:46 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:10.0.4) Gecko/20100101 Firefox/10.0.4 Iceweasel/10.0.4 |
Follow-up Comment #7, sr #107682 (project administration):
The issues isn't just a branch. I often need to reorganize delete or replace
old branches and the savannah git doesn't allow this stuff. For example I
wanted to reset the gnutls_3_0_x branch because it got out-of-sync with
master, and this is not possible. Neither a fast forward commit is allowed,
nor can I delete the branch to replace it. This is utterly annoying. Also
making a typo in the tag cannot be undone (tags cannot be deleted as well).
It would really be nice of deletion was allowed without opening a support
request.
btw. It doesn't seem to be an issue with git but rather there is a hook
(script) that prevents deletion of branches and tags.
remote: *** Deleting a tag is not allowed in this repository
remote: error: hook declined to update refs/tags/gnutls_3_0_21
To ssh://git.sv.gnu.org/srv/git/gnutls.git
! [remote rejected] gnutls_3_0_21 (hook declined)
error: failed to push some refs to 'ssh://git.sv.gnu.org/srv/git/gnutls.git'
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107682>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/