To check if that's not the problem with your ISP, generate ping request to repo servers.