一：问题描述
在调用git clone 命令拉取 github 中的 microsoft /STL 仓库时出现 "Failed to connect to github.com port 443: Timed out" 的错误提示，在搜索了一些博客后，遇到的所有解决办法都与设置代理相关，于是采用其中的一种办法解决了该问题，解法如下：
在PC的网络和internet设置页面中 (win 10系统)选择代理。在代理页面中，我的默认选项是手动设置代理，看到地址与端口栏的内容分别为127.0.0.1 (在之前的学习中，了解到该ip地址代表的即是本机)和10809 (在一些答主的答案中，他们的是1080)，然后调用命令 git config --global http.proxy "localhost:10809", 之后再次调用 git clone，现在可以成功抓取 STL 源码到本地。
二：相关知识
1：关于设置代理
国内由于网络不稳定，经常会发生 git 不能 push 的情况，所以这个时候就需要代理服务器，设置使 git 通过代理服务器访问远程仓库。
git 使用三种协议来连接远程仓库 ssh, http, git。所以，若要设置代理，首先得明确本地 git 使用何种协议连接远程仓库，然后根据不同协议设置代理。
以设置 http/https 协议代理为例：
使用 http/https 协议连接远程仓库的 URL 具有如下形式：
http://github.com/../xx.git
https://github.com/../xx.git
就可以通过上文描述的办法解决