Connections to ssh.github.com:443 are not working. This impacts firewalled users primarily. We’re still working on this one.ssh.github.com:443に繋がらなくなってるらしい。まだ対応中だって。会社からpushすることあまり無いので問題は無いけど、g…