Have you noticed that in the last few months, Github goes down every Tuesday?