git redirect to standard https port