They could have, but it seems unlikely they targeted one or two repos and probably cloned thousands or more.