URL:
<http://savannah.gnu.org/support/?107682>
Summary: deleting a remote branch in git
Project: Savannah Administration
Submitted by: nmav
Submitted on: Sun 08 May 2011 12:34:14 AM EEST
Category: Developer CVS
Priority: 5 - Normal
Severity: 3 - Normal
Status: None
Assigned to: None
Originator Email: [email protected]
Operating System: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
The git support page at http://savannah.gnu.org/maintenance/UsingGit describes
a way to delete a remote branch. However trying to delete using that method
displays:
"remote: *** Deleting a branch is not allowed in this repository
remote: error: hook declined to update refs/heads/xxx"
for the gnutls git repository.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107682>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/