[Savannah-help-public] [sr #107682] deleting a remote branch in git

[Nikos Mavrogiannopoulos]

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/