[Top][All Lists]

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

[Savannah-users] delete remote branch?

From: Nicolas Bock
Subject: [Savannah-users] delete remote branch?
Date: Thu, 28 Jun 2012 14:34:19 -0600


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?



reply via email to

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