Possible Duplicate:
Deleting remote master branch, refused due to being current branch
I code for the kde project, which uses git. There is a central repo, and I have a local clone with some local branches. Now a distro which I also code for wants some default kde stuff changed, and they use github for hosting their modified code.
The problem is as follows:
First, the github repo was completely empty. Then, I pushed my local master branch (by mistake) to that repo. After having realized that, I pushed the branch that had the distro fixes in it to github as well. Now I want to delete this github master since the distro team does not need it, the packagers need a single branch to build from. Doing this
git push github :master
results in an error "cannot delete current branch".
The question is, how can I switch remote branches to set the branch containing the fixes to "current" and delete the unnecessary "master"?
Thank you!