GitHub столкнулся с утечкой внутреннего кода из-за взлома устройства работника, под угрозой 3800 репозиториев.