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/
