там рабочее общедоступное зеркало android.git.kernel.org?

[Извините за тупой вопрос. Это имеет , заставил быть FAQ прошедшие несколько дней, но я ничего не могу найти кроме людей, жалующихся, что repo снижается, и проверять новости...]

я не мог использовать repo для доступа http://android.git.kernel.org некоторое время теперь; очевидно, это происходит из-за нападения на kernel.org. К сожалению, мне нужно к выпадающим версиям исходного дерева, которое я уже не имею.

я знаю, что по крайней мере некоторые пакеты зеркально отражаются на http://github.com/android , но для файла манифеста нужно к отредактированному (к, например, замена / с _), и это, кажется, не имеет всех их так или иначе. Конечно, существует лучший путь?