Hello, in the last week I've also experienced frequent "Failed to connect to github.com port 443: Connection timed out" messages from different repositories; oddly enough, switching the IP address I ...