Use https git urls instead of ssh for Travis build