Improve initial git push before subtree push

[enriquecaballero]

Just using git push might cause problems with some CI's such as Jenkins. Jenkins, for example, always checks out a revision and never exactly master, so its push to needs to explicitly know it's going to HEAD:master before any subtree push.