fixed git push in Travis config