一：問題描述
在調用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
就可以通過上文描述的辦法解決