改用 443 端口连接 Github 修复 git push 时出现 Connection timed out 的问题

参考资料最近几天我这里出现了git push出现 timeout 的问题：$ git pushssh: connect to host github com port 22: Connection timed outfatal: Could not read

支撑Github的开源技术

Github在3月19号开放了新的项目展示页面（Showcase），Showcase根据项目属性来组织、定义一系列的开源项目列表，可以更清晰的发现你所需要

Github代码高亮显示、WebIDE代码编辑器都在使用它

ace -- 一款功能强大、全面的开源代码编辑、高亮软件，采用js编写，github代码高亮使用它。不仅如此，它还支持代码语法检查。