GitHub

Recently we’ve encountered this issue many times while pushing updates to GitHub: " Failed to connect to github.com port 443 after XXXXX ms: Timed out." In this post, we’ll show you how we solved it. Apparently, this is a network issue between local machine and GitHub, we could set proxies for Git to fix it. Run follwing commands in the Terminal/Shell: git config --global http.proxy socks5://192.168.7.10:7891 git config --global https.proxy socks5://192.168.7.10:7891 The above two lines of commands set up Git’s global http and https proxies, using the socks5 protocol. In actual operation, just change the proxy server information to your own. ...

Recently, a highly popular GitHub repository — ChinaTextbook — has compiled PDF files of textbooks for all educational stages in China, from primary school, junior high school, senior high school to college. Those in need can download them directly. This is a remarkable project. In the author’s project description, the reasons for creating ChinaTextbook are mentioned: Although domestic educational websites have provided free resources, the access to information for the majority of ordinary people is still limited. Some people take advantage of this situation and sell these resources with private watermarks on Taobao. To address this issue, I plan to centralize and open-source these resources to promote the popularization of compulsory education and eliminate educational poverty between regions. ...