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
