Travis file update: git push