Handle HTTPs port in Git Smart HTTP url