How to specify the port that git protocol uses? What I mean: I'm working on a cluster which blocks port 22 outgoing, which causes git operations using git protocol to hang. E.g., if I attempt to `git push ...` from the cluster to a repository I own on github, the process hangs if my `git config` has (e.g.)
remote.origin.url=g...@github.com:me/project.git but succeeds with remote.github.url=https://m...@github.com/me/project.git With one caveat: the admins also refuse to install root certificates, so I can only perform git operations to github using https protocol by, e.g., env GIT_SSL_NO_VERIFY=true git ... I'm trying to migrate my dev team to git, so I'd like to minimize collective annoyance. One of the admins writes that > port 22 (ssh) is blocked by the firewall, but you should be able to > go out on port 443. So I'm wondering, how to setup git users on the cluster so that git protocol will use port=443 automagically? Should this be done via git (e.g., using `git remote` or `git config`)? or via ssh (e.g., using ~/.ssh/config), or some other way? TIA, Tom Roche <tom_ro...@pobox.com> -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To post to this group, send email to git-users@googlegroups.com. To unsubscribe from this group, send email to git-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/git-users?hl=en.
