`git push` to github triggers Travis CI, correct?