Shell Github错误：无法连接到443端口

我正在尝试使用以下文档在windows 7上本地构建appinventor：

我下载了第3节中列出的所有软件，并通过从shell运行以下git命令克隆git存储库来构建appinventor:git clone

我一直收到以下错误：无法连接到github 443错误

我已经厌倦了谷歌搜索，发现：

我在这个领域一点经验都没有，所以我不理解上面提到的任何解决方案，你能试着帮助我一步一步地解决这个问题吗

我在一家公司工作，所以我无法获得他们提到的代理，否则防火墙可能会阻止它

---

提前谢谢你

如果您位于公司防火墙后面，并且所有请求都通过代理服务器，那么在运行任何get命令（如pull、fetch和push命令）之前，必须先设置Git代理

要为HTTP和HTTPS设置Git代理，请在Git bash shell中使用以下Git命令

git config --global http.proxy http://username:password@proxy.server.com:8080
git config --global https.proxy http://username:password@proxy.server.com:8080

//Replace username with your proxy username
//Replace password with your proxy password
//Replace proxy.server.com with the proxy domain URL.
//Replace 8080 with the proxy port no configured on the proxy server.

---

检查并获取更多详细信息

您是否有连接到internet所需的代理？

无法连接到github 443错误

是确切的错误吗？如果没有，则应包括确切的错误。我想您可以在浏览器中正确地访问github？是的，问题是由于代理，现在已经解决。谢谢你的帮助！可能是Etan的副本，如果您正确阅读了我的描述，那么您将能够看到我提到了该链接并评论了“我不理解这些解决方案中的任何一个”。我确实阅读了它。我就是从那里得到链接的。您不理解这些答案的事实并不能改变以下事实：此处给出的答案与此处给出的答案完全相同，包括此处已接受的答案，其中甚至包括指向本网站上其他两个类似问题和答案的链接，以及一个关于如何查找您当前代理的链接。谢谢，我已经请求我的IT支持，他们已经提供了您提到的所有信息，现在可以使用了！除了在git配置文件中硬编码密码之外，还有什么替代方法？谢谢，我们可能需要使用vpn而不是代理我的工作，我只是禁用我的代理并打开我的vpn