Follow-up Comment #18, sr #107682 (project administration):
(Picking up an old ticket, about deleting remote branches)
Hello Nikos,
With git-2.10.2 (on the client side),
I'm able to delete branches on savannah's server:
$ git push origin --delete my-other-branch
This will not work for 'master', only for other branches.
Please confirm if it works for you.
regards,
- assaf
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107682>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
