tree d071eff6faaf750ee88fa95804945d6b9bffe145
parent e6a202f790daaf204513b8c53b824fcc246f9972
author Kyunam Jo <kyunam.jo@gmail.com> 1580783933 +0900
committer Mike Frysinger <vapier@google.com> 1580856148 +0000

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>