Comment by nemoto

If you have trouble cloning/pushing on [email protected] right now, you could use these config[1] for ~/.ssh/config

    Host github.com
      Hostname ssh.github.com
      Port 443

Cloning and pushing to github now works in my machine.

[1]: https://help.github.com/articles/using-ssh-over-the-https-po...