Next: Ban using the term "executable", because it promotes violence.<p>Seriously, this is a problem with the English language, not the software.
doing a full clone just to change a branch name seems a bit wasteful.<p><pre><code> git init
git remote add origin ...
git push origin (git ls-remote origin | grep "refs/heads/master" | cut -f1 ):master
</code></pre>
should be enough