That repository is obviously just a copy and is not (and in fact can't be) used by ISPs.