doing a full clone just to change a branch name seems a bit wasteful. git init git remote add origin ... git push origin (git ls-remote origin | gr

doing a full clone just to change a branch name seems a bit wasteful. git init git remote add origin ... git push origin (git ls-remote origin | grep "refs/heads/master" | cut -f1 ):master should be enough