8 ноября произошёл массовый сбой в работе платформы GitHub.