android - Repo(GIT)如何在使用镜像时更新 list 文件？

Question

我们使用现有 list 在本地发起了一个 repo 。

repo init -u ssh://ger-repository/my_project-manifests -m my_manifest.xml --mirror  

现在， list 文件发生了变化。无法运行 init 命令:

fatal: --mirror not supported on existing client

我们如何在不删除所有镜像文件夹并再次重新同步的情况下更新 list ？

Answer 1

这可能是不可能的，考虑到 this patch建议将该错误消息替换为:

fatal: --mirror is only supported when initializing a new workspace.
Either delete the .repo folder in this workspace, or initialize in another location.

如果这是关于相同的 repo 协议(protocol)，但具有不同的 URL，则 this thread提到:

If you've been able to clone all the gits you're almost there, just use the insteadOf trick on the clients if the relative URLs aren't available in the manifest you're mirroring.

[url "https://yourserver.example.com/"]
        insteadOf = https://android.googlesource.com/