Trying to hide output of git push on travis-ci