Re: [Savannah-users] delete remote branch?

[Nicolas Bock]

Thank you.

On Thu, Jun 28, 2012 at 3:15 PM, Michael J. Flickinger <address@hidden> wrote:
> 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