Re: [Savannah-users] delete remote branch?

[Michael J. Flickinger]

On 6/28/12 4:34 PM, Nicolas Bock wrote:
> Hi,
>
> we had some prior commit history in a CVS repository that I ended up
> grafting on top of the git history we have on savannah. The end result
> of this process is that all tags changed and I can't push any changes
> to savannah anymore. My understanding is that the correct way of
> fixing this problem is to delete the branch on savannah, and then push
> the new grafted branch back up. However, savannah doesn't let me do
> that. When I run
>
> git push :master
>
> I get this error:
>
>
> remote: error: By default, deleting the current branch is denied,
> because the next
> remote: error: 'git clone' won't result in any file checked out,
> causing confusion.
> remote: error:
> remote: error: You can set 'receive.denyDeleteCurrent' configuration variable to
> remote: error: 'warn' or 'ignore' in the remote repository to allow deleting the
> remote: error: current branch, with or without a warning message.
> remote: error:
> remote: error: To squelch this message, you can set it to 'refuse'.
> remote: error: refusing to delete the current branch: refs/heads/master
>
>
> How do I set the variable receive.denyDeleteCurrent on the remote end?
> I can't ssh to it, can I?
>
> Thanks,
>
> nick

You submit a support request here: 
https://savannah.gnu.org/support/?group=administration

For security reasons, this currently has to be done via support request. 
 In the near future we'll have a repository manager which will allow 
for a project's admin to perform some of these commonly requested actions.

Thanks