I\'m currently on a public WIFI spot and I\'m unable to use SSH (they probably blocked that port). However, I need that connection to do a git push.
git push
<
No need to modify the ~/.ssh/config. You can add another remote repository via git remote add ...
~/.ssh/config
git remote add ..
// github git remote add ssh://git@ssh.github.com:443/repo/name.git // gitlab git remote add ssh://git@altssh.gitlab.com:443/repo/name.git