[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Savannah-users] delete remote branch?

From: Nicolas Bock
Subject: Re: [Savannah-users] delete remote branch?
Date: Fri, 29 Jun 2012 09:00:38 -0600

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:
> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]