only push to pre-commit.github.io in travis if the branch is real master