I've on my laptop a git repository, and a remote repository on GiHub (a straight forward configuration created when running 'git clone').
I'm using the SSH transfer protocol. i.e. remote address is: git@github.com:MyName/MyProg.git
I'm now in a network environment where port 23 is blocked (As far as I can see, only ports 80 and 443 are open). I need to fetch/merge recent changes available on the server. What are my options? If possible, I'd like to avoid creating a new remote branch with the http protocol (which is basically identical to the remote branch I already have).