Comment by valerij

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