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

[Nikos Mavrogiannopoulos]

Follow-up Comment #16, sr #107682 (project administration):

I add new features in feature branches like "simpler-decoding" in the libtasn1
project. However I cannot fast forward this branch as I rewrite the original
patch:

$ git push -f
Total 0 (delta 0), reused 0 (delta 0)
remote: error: denying non-fast-forward refs/heads/simpler-decoding (you
should pull first)
To ssh://git.sv.gnu.org/srv/git/libtasn1.git
 ! [remote rejected] simpler-decoding -> simpler-decoding (non-fast-forward)
error: failed to push some refs to
'ssh://git.sv.gnu.org/srv/git/libtasn1.git'


Nor I can delete the branch once it is no longer needed (merged in master).

$ git push origin :simpler-decoding
remote: *** Deleting a branch is not allowed in this repository
remote: error: hook declined to update refs/heads/simpler-decoding
To ssh://git.sv.gnu.org/srv/git/libtasn1.git
 ! [remote rejected] simpler-decoding (hook declined)
error: failed to push some refs to
'ssh://git.sv.gnu.org/srv/git/libtasn1.git'


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?107682>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/