Github error: Failed to connect to 443 port

Question

I am trying to build appinventor locally on windows 7 using the following document: https://docs.google.com/document/d/1Xc9yt02x3BRoq5m1PJHBr81OOv69rEBy8LVG_84j9jc/pub#h.5p32kqx16c2d

I've downloaded all the software listed in section 3 and proceeded building the app inventor by cloning a git repository by running the following git command from a shell: git clone https://github.com/mit-cml/appinventor-sources.git

I keep getting the following error: failed to connect to github 443 error

I've tired doing a Google search and found this: GitHub - failed to connect to github 443 windows/ Failed to connect to gitHub - No Error

I'm not at all experienced in this field so I do not understand any of the solutions mentioned, could you please try and help me out by going through the best solution step by step?

I'm working in a company so I can't get the proxy like they mentioned or the firewall might be blocking it.

Thank you in advance!

Answer 1

If you are behind the corporate firewall and if all your requests goes through the proxy server then you must set the Git proxy first before running any get commands like pull, fetch and push commands.

To set the Git proxy for HTTP and HTTPS use the following Git commands in the git bash shell

git config --global http.proxy http://username:[email protected]:8080
git config --global https.proxy http://username:[email protected]: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.

Check How to configure Git proxy and How to unset the Git Proxy for more details