Use port 443 to the git repo when port 9418 is blocked