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
<
For gitlab, following can be added:
Host gitlab.com Hostname altssh.gitlab.com User git Port 443
Source: Alternate Gitlab SSH Port