GitHub is so unreliable: "socket.error: [Errno 104] Connection reset by peer"