Use https instead of ssh to trigger Docker builds.