Add a way to override the remote using <extend-project>
This commit supports for the 'remote' attribute in
<extend-project>. This avoids the need to perform a <remove-project>
followed by a <project> in local manifests.
Change-Id: I9f9347913337ec9d159bc264d15ce97881ae5398
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/253092
Tested-by: Kyunam Jo <kyunam.jo@gmail.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
diff --git a/manifest_xml.py b/manifest_xml.py
index 4f7bd49..035cc61 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -599,6 +599,9 @@
if groups:
groups = self._ParseGroups(groups)
revision = node.getAttribute('revision')
+ remote = node.getAttribute('remote')
+ if remote:
+ remote = self._get_remote(node)
for p in self._projects[name]:
if path and p.relpath != path:
@@ -607,6 +610,8 @@
p.groups.extend(groups)
if revision:
p.revisionExpr = revision
+ if remote:
+ p.remote = remote.ToRemoteSpec(name)
if node.nodeName == 'repo-hooks':
# Get the name of the project and the (space-separated) list of enabled.
repo_hooks_project = self._reqatt(node, 'in-project')