I'm often in a network that for some silly reason blocks TCP destination port 22. It doesn't seem practical to use a full VPN just to overcome this issue, so I'm sometimes using SSH proxy (via
ProxyCommand), sometimes a pseudo-VPN using a combination of
ssh -w any:any -p 443 and a couple of local and remote
ip command lines.
I'm using SSH as the backend for Git so I cannot directly change the
ssh command line.
What I'm looking for is a clean and nice way to temporarily (e.g. via a simple script or environment variable) to contact Git servers like GitHub and Fedora distgit via a server with SSH accessible via TCP port 443. I don't insist on
-w as the methods.