For Travis CI - attempt to fix git push from detached HEAD.
[ci skip]