repo sync завершается ошибкой со следующим сообщением:
$ repo sync
fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
error: Cannot fetch repo
Кажется, что kernel.org был взломан , так что именно это и является причиной проблемы.
Есть ли обходной путь для решения этой проблемы, а не для полного переключения на другое хранилище Android (например, на github и т. Д.)?