I was having a problem with github for a while, which I resolved yesterday.
The problem was that git on my ubuntu was using port 22 to connect with github.com.
And my college's firewall had blocked that port perhaps.
I did this to change that port from 22 to 443:
The problem was that git on my ubuntu was using port 22 to connect with github.com.
And my college's firewall had blocked that port perhaps.
I did this to change that port from 22 to 443:
$ gedit ~/.ssh/config
Added the following to the config file
Host github.com
Hostname ssh.github.com
Port 443
problem solved, thanks to this