надо делать локальное российское зеркало репозитория
Задача по созданию зеркала в целом интересная, т.к. процедура может быть полезна и для компаний без интернета с локальным зеркалом. Если не идти по пути тупого http кэша/crawler'a, то наиболее интересно за основу брать проект https://github.com/klaftertief/elm-search.