Add a way to override the remote using
This commit supports for the 'remote' attribute in
. This avoids the need to perform a
followed by a in local manifests.
Change-Id: I9f9347913337ec9d159bc264d15ce97881ae5398
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/253092
Tested-by: Kyunam Jo
Reviewed-by: Mike Frysinger
diff --git a/docs/manifest-format.md b/docs/manifest-format.md
index a39f97e..b439dcb 100644
--- a/docs/manifest-format.md
+++ b/docs/manifest-format.md
@@ -89,6 +89,7 @@
+
@@ -306,6 +307,9 @@
Attribute `revision`: If specified, overrides the revision of the original
project. Same syntax as the corresponding element of `project`.
+Attribute `remote`: If specified, overrides the remote of the original
+project. Same syntax as the corresponding element of `project`.
+
### Element annotation
Zero or more annotation elements may be specified as children of a
