CURL Error: Failed to connect to github.com port 443: No route to host