What if the repo is https, but using non standard port != 443 ?